@incollection{Gabbrielli-Levi/91,
AUTHOR = {Gabbrielli, M. and Levi, G.},
TITLE = {On the semantics of logic programs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {1-19},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chen-Hsiang/91,
AUTHOR = {Chen, Hong and Hsiang, Jieh},
TITLE = {Logic programming with recurrence domains},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {20-34},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bucciarelli-Ehrhard/91,
AUTHOR = {Bucciarelli, A. and Ehrhard, T.},
TITLE = {Extensional embedding of a strongly stable model of PCF},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {35-46},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ernoult-Mycroft/91,
AUTHOR = {Ernoult, C. and Mycroft, A.},
TITLE = {Uniform ideals and strictness analysis},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {47-59},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Breazu-Tannen-Subrahmanyam/91,
AUTHOR = {Breazu-Tannen, V. and Subrahmanyam, R.},
TITLE = {Logical and computational aspects of programming with sets/bags/lists},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {60-75},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bouajjani-Fernandez-Graf-Rodriguez-Sifakis/91,
AUTHOR = {Bouajjani, A. and Fern{\'a}ndez, J.C. and Graf, S. and Rodr{\'i}guez, C. and Sifakis, J.},
TITLE = {Safety for branching time semantics},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {76-92},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fix-Francez-Grumberg/91,
AUTHOR = {Fix, L. and Francez, N. and Grumberg, O.},
TITLE = {Program composition and modular verification},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {93-114},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Alur-Courcoubetis-Dill/91,
AUTHOR = {Alur, R. and Courcoubetis, C. and Dill, D.},
TITLE = {Model-checking for probabilistic real-time systems},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {115-126},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Cleaveland-Steffen/91,
AUTHOR = {Cleaveland, R. and Steffen, B.},
TITLE = {Computing behavioural relations, logically},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {127-138},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ben-Asher-Peleg-Ramaswami-Schuster/91a,
AUTHOR = {Ben-Asher, Y. and Peleg, D. and Ramaswami, R. and Schuster, A.},
TITLE = {The power of reconfiguration},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {139-150},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=139},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fouks/91,
AUTHOR = {Fouks, J.-D.},
TITLE = {General resolution of Tseitin formulas is hard},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {151-162},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kannan-Yao/91,
AUTHOR = {Kannan, S. and Yao, A.},
TITLE = {Program checkers for probability generation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {163-173},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kaneps-Freivalds/91,
AUTHOR = {Kaneps, J. and Freivalds, R.},
TITLE = {Running time to recognize nonregular languages by 2-way probabilistic automata},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {174-185},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Casas-Diaz-Martinez/91,
AUTHOR = {Casas, R. and D{\'i}az, J. and Mart{\'i}nez, C.},
TITLE = {Statistics on random trees},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {186-203},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Larsen/91,
AUTHOR = {Larsen, K.G.},
TITLE = {The expressive power of implicit specifications},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {204-216},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Yi/91,
AUTHOR = {Yi, Wang},
TITLE = {CCS+time = an interleaving model for real time systems},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {217-228},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Diekert-Ochmanski-Reinhardt/91,
AUTHOR = {Diekert, V. and Ochmanski, E. and Reinhardt, K.},
TITLE = {On confluent semi-commutations-decidability and complexity results},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {229-241},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Duchamp-Krob/91,
AUTHOR = {Duchamp, G. and Krob, D.},
TITLE = {Lazard's factorizations of free partially commutative monoids},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {242-253},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gastin-Petit-Zielonka/91,
AUTHOR = {Gastin, P. and Petit, A. and Zielonka, W.},
TITLE = {A Kleene theorem for infinite trace languages},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {254-266},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Dershowitz/91,
AUTHOR = {Dershowitz, N.},
TITLE = {Canonical sets of Horn clauses},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {267-278},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Madlener-Narendran-Otto/91,
AUTHOR = {Madlener, K. and Narendran, P. and Otto, F.},
TITLE = {A specialized completion procedure for monadic string-rewriting systems presenting groups},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {279-290},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Curien-Cosmo/91,
AUTHOR = {Curien, P.-L. and Cosmo, R. Di},
TITLE = {A confluent reduction for the $\lambda$-calculus with surjective pairing and terminal object},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {291-302},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fernando/91,
AUTHOR = {Fernando, T.},
TITLE = {Provably recursive programs and program extraction},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {303-313},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Lengauer-Theune/91,
AUTHOR = {Lengauer, T. and Theune, D.},
TITLE = {Efficient algorithms for path problems with general cost criteria},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {314-326},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Djidjev-Pantziou-Zaroliagis/91,
AUTHOR = {Djidjev, H.N. and Pantziou, G.E. and Zaroliagis, C.D.},
TITLE = {Computing shortest paths and distances in planar graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {327-338},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Galil-Italiano/91,
AUTHOR = {Galil, Z. and Italiano, G.F.},
TITLE = {Maintaining biconnected components of dynamic planar graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {339-350},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Loebl/91,
AUTHOR = {Loebl, M.},
TITLE = {Efficient maximal cubic graph cuts},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {351-362},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=351},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Vishkin/91a,
AUTHOR = {Vishkin, U.},
TITLE = {Structural parallel algorithmics},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {363-380},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=363},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ranjan-Chari-Rohatgi/91,
AUTHOR = {Ranjan, D. and Chari, S. and Rohatgi, P.},
TITLE = {Improving known solutions is hard},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {381-392},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=381},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hemachandra-Hoene/91a,
AUTHOR = {Hemachandra, L.A. and Hoene, A.},
TITLE = {Collapsing degrees via strong computation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {393-404},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=393},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hagerup/91,
AUTHOR = {Hagerup, T.},
TITLE = {Fast parallel generation of random permutations},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {405-416},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=405},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jung-Serna-Spirakis/91,
AUTHOR = {Jung, H. and Serna, M. and Spirakis, P.},
TITLE = {A parallel algorithm for two processors precedence constraint scheduling},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {417-428},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=417},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Furer-Raghavachari/91,
AUTHOR = {F{\"u}rer, M. and Raghavachari, B.},
TITLE = {An efficient NC algorithm for finding Hamiltonian cycles in dense directed graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {429-440},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=429},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Thomas/91,
AUTHOR = {Thomas, W.},
TITLE = {On logics, tilings, and automata},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {441-454},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=441},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jouannaud-Okada/91,
AUTHOR = {Jouannaud, J.-P. and Okada, M.},
TITLE = {Satisfiability of systems of ordinal notations with the subterm property is decidable},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {455-468},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=455},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Comon/91,
AUTHOR = {Comon, H.},
TITLE = {Complete axiomatizations of some quotient term algebras},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {469-480},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=469},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bol-Groote/91,
AUTHOR = {Bol, R. and Groote, J.F.},
TITLE = {The meaning of negative premises in transition system specifications},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {481-494},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=481},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Vogler/91,
AUTHOR = {Vogler, W.},
TITLE = {Deciding history preserving bisimilarity},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {495-505},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=495},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Aceto-Hennessy/91,
AUTHOR = {Aceto, L. and Hennessy, M.},
TITLE = {Adding action refinement to a finite process algebra},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {506-519},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=506},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bini-Gemignani-Pan/91,
AUTHOR = {Bini, D. and Gemignani, L. and Pan, V.},
TITLE = {Improved parallel computations with matrices and polynomials},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {520-531},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=520},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Lagergren-Arnborg/91,
AUTHOR = {Lagergren, J. and Arnborg, S.},
TITLE = {Finding minimal forbidden minors using a finite congruence},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {532-543},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=532},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bodlaender-Kloks/91,
AUTHOR = {Bodlaender, H.L. and Kloks, T.},
TITLE = {Better algorithms for the pathwidth and treewidth of graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {544-555},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Cucker-Torrecillas/91,
AUTHOR = {Cucker, F. and Torrecillas, A.},
TITLE = {Two $P$-complete problems in the theory of the reals},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {556-565},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=556},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Honkala-Salomaa/91,
AUTHOR = {Honkala, J. and Salomaa, A.},
TITLE = {L morphisms: Bounded delay and regularity of ambiguity},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {566-574},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=566},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bruyere-De_Felice/91,
AUTHOR = {Bruyere, V. and De Felice, C.},
TITLE = {Degree and decomposability of variable-length codes},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {575-587},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr'iguez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=575},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Wilke/91,
AUTHOR = {Wilke, T.},
TITLE = {An EILENBERG theorem for $\infty$-languages},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {588-599},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=588},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Culik-Dube/91,
AUTHOR = {Culik II, K. and Dube, S.},
TITLE = {Balancing order and chaos in image generation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {600-614},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=600},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gurevich/91,
AUTHOR = {Gurevich, Y.},
TITLE = {Average case complexity},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {615-628},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=615},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jiang-Ravikumar/91a,
AUTHOR = {Jiang, Tao and Ravikumar, B.},
TITLE = {Minimal NFA problems are hard},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {629-640},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=629},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hashiguchi/91,
AUTHOR = {Hashiguchi, K.},
TITLE = {Algorithms for determining the smallest number of nonterminals (states) sufficient for generating (accepting) a regular language},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {641-648},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=641},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bhattacharya-Toussaint/91,
AUTHOR = {Bhattacharya, B. and Toussaint, G.},
TITLE = {Computing shortest transversals},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {649-660},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=649},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chazelle-Edelsbrunner-Grigni-Guibas-Hershberger-Sharir-Snoeyink/91,
AUTHOR = {Chazelle, B. and Edelsbrunner, H. and Grigni, M. and Guibas, L. and Hershberger, J. and Sharir, M. and Snoeyink, J.},
TITLE = {Ray shooting in polygons using geodesic triangulations},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {661-673},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=661},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bern-Eppstein-Yao/91,
AUTHOR = {Bern, M. and Eppstein, D. and Yao, F.},
TITLE = {The expected extremes in a Delaunay triangulation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {674-685},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=674},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chazelle/91,
AUTHOR = {Chazelle, B.},
TITLE = {Computational geometry for the gourmet: Old fare and new dishes},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {686-696},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=686},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Duris-Galil/91,
AUTHOR = {{\v{D}}uri{\u{s}}, P. and Galil, Z.},
TITLE = {On the power of multiple reads in a chip},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {697-706},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=697},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Groger-Turan/91,
AUTHOR = {Gr{\"o}ger, H.D. and Tur{\'a}n, G.},
TITLE = {On linear decision trees computing Boolean functions},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {707-718},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=707},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Galil-Margalit/91,
AUTHOR = {Galil, Z. and Margalit, O.},
TITLE = {An almost linear-time algorithm for the dense subset-sum problem},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {719-727},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=719},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Khuller-Mitchell-Vazirani/91,
AUTHOR = {Khuller, S. and Mitchell, S.G. and Vazirani, V.V.},
TITLE = {On-line algorithms for weighted bipartite matching and stable marriages},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {728-738},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=728},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Naor/91,
AUTHOR = {Naor, M.},
TITLE = {String matching with preprocessing of text and pattern},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {739-750},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=739},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ravi-Agrawal-Klein/91,
AUTHOR = {Ravi, R. and Agrawal, A. and Klein, P.},
TITLE = {Ordering problems approximated: Single-processor scheduling and interval graph completion},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {751-762},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=751},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}