@incollection{Valiant/87,
AUTHOR = {Valiant, L.G.},
TITLE = {Recent developments in the theory of learning},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {563},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pitt-Smith/87,
AUTHOR = {Pitt, L. and Smith, C.H.},
TITLE = {Probability and plurality for aggregations of learning machines},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {1-10},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nait_Abdallah/87,
AUTHOR = {Nait Abdallah, M.A.},
TITLE = {Logic programming with ions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {11-20},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dybjer/87,
AUTHOR = {Dybjer, P.},
TITLE = {Inverse image analysis},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {21-30},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Holldobler/87,
AUTHOR = {H{\"o}lldobler, S.},
TITLE = {A unification algorithm for confluent theories},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {31-41},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/87a,
AUTHOR = {Diekert, V.},
TITLE = {On the Knuth-Bendix completion for concurrent processes},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {42-53},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hsiang-Rusinowitch/87,
AUTHOR = {Hsiang, J. and Rusinowitch, M.},
TITLE = {On word problems in equational theories},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {54-71},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shyamasundar-Narayana-Pitassi/87,
AUTHOR = {Shyamasundar, R.K. and Narayana, K.T. and Pitassi, T.},
TITLE = {Semantics for nondeterministic asynchronous broadcast networks},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {72-83},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeten-Glabbeek/87a,
AUTHOR = {Baeten, J.C.M. and Glabbeek, R.J. van},
TITLE = {Another look at abstraction in process algebra},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {84-94},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerth-Boucher/87,
AUTHOR = {Gerth, R. and Boucher, A.},
TITLE = {A timed failures model for extended communicating processes},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {95-114},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graf-Sifakis/87,
AUTHOR = {Graf, S. and Sifakis, J.},
TITLE = {Readiness semantics for regular processes with silent actions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {115-125},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larsen-Milner/87,
AUTHOR = {Larsen, K.G. and Milner, R.},
TITLE = {Verifying a protocol using relativized bisimulation},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {126-135},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki/87,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {On recent trends in formal language theory},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {136-162},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barrington-Therien/87,
AUTHOR = {Barrington, D.A. and Th{\'e}rien, D.},
TITLE = {Non-uniform automata over groups},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {163-173},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier/87,
AUTHOR = {Beauquier, D.},
TITLE = {Minimal automaton of a rational cover},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {174-189},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut-Duboc/87,
AUTHOR = {Choffrut, C. and Duboc, C.},
TITLE = {A star-height problem in free monoids with partial commutations},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {190-201},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=190},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Johnson/87a,
AUTHOR = {Johnson, J.H.},
TITLE = {Single-valued finite transduction},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {202-211},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuich/87,
AUTHOR = {Kuich, W.},
TITLE = {The Kleene and the Parikh theorem in complete semirings},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {212-225},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Metivier/87,
AUTHOR = {M{\'e}tivier, Y.},
TITLE = {An algorithm for computing asynchronous automata in the case of acyclic non-commutation graphs},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {226-236},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=226},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin/87,
AUTHOR = {Pin, J.E.},
TITLE = {On the languages accepted by finite reversible automata},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {237-249},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=237},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aalbersberg-Hoogeboom/87,
AUTHOR = {Aalbersberg, I.J. and Hoogeboom, H.J.},
TITLE = {Decision problems for regular trace languages},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {250-259},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=250},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chytil-Demner/87,
AUTHOR = {Chytil, M.P. and Demner, J.},
TITLE = {Panic mode without panic},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {260-268},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hafer-Thomas/87,
AUTHOR = {Hafer, T. and Thomas, W.},
TITLE = {Computation tree logic $CTL^*$ and path quantifiers in the monadic theory of the binary tree},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {269-279},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=269},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Josko/87,
AUTHOR = {Josko, B.},
TITLE = {Modelchecking of $CTL$ formulae under liveness assumptions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {280-289},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=280},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lodaya-Thiagarajan/87,
AUTHOR = {Lodaya, K. and Thiagarajan, P.S.},
TITLE = {A modal logic for a subclass of event structures},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {290-303},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=290},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Chrobak-Diks/87,
AUTHOR = {Hagerup, T. and Chrobak, M. and Diks, K.},
TITLE = {Parallel 5-colouring of planar graphs},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {304-313},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Landau-Schieber-Vishkin/87,
AUTHOR = {Landau, G.M. and Schieber, B. and Vishkin, U.},
TITLE = {Parallel construction of a suffix tree},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {314-325},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Li-Yesha/87,
AUTHOR = {Li, M. and Yesha, Y.},
TITLE = {The probabilistic and deterministic parallel complexity of symmetric functions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {326-335},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ramesh-Verma-Krishnaprasad-Ramakrishnan/87,
AUTHOR = {Ramesh, R. and Verma, R.M. and Krishnaprasad, T. and Ramakrishnan, I.V.},
TITLE = {Term matching on parallel computers},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {336-346},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Leeuwen-Santoro-Urrutia-Zaks/87,
AUTHOR = {van Leeuwen, Jan and Santoro, N. and Urrutia, J. and Zaks, S.},
TITLE = {Guessing games and distributed computations in synchronous networks},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {347-356},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=347},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwartz-Sharir/87,
AUTHOR = {Schwartz, J.T. and Sharir, M.},
TITLE = {On the bivariate function minimization problem and its applications to motion planning},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {357-363},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=357},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner-Rote-Welzl/87,
AUTHOR = {Edelsbrunner, H. and Rote, G. and Welzl, E.},
TITLE = {Testing the necklace condition for shortest tours and optimal factors in the plane},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {364-375},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Lingas-Sack/87,
AUTHOR = {Levcopoulos, C. and Lingas, A. and Sack, J.-R.},
TITLE = {Nearly optimal heuristics for binary search trees with geometric generalizations},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {376-385},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=376},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paz-Schnorr/87,
AUTHOR = {Paz, A. and Schnorr, C.P.},
TITLE = {Approximating integer lattices by lattices with cyclic factor groups},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {386-393},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=386},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Meyer/87,
AUTHOR = {Cai, J. and Meyer, G.E.},
TITLE = {On the complexity of graph critical uncolorability},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {394-403},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=394},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Nesetril-Talamo/87,
AUTHOR = {Gambosi, G. and Ne{\v{s}}et{\v{r}}il, J. and Talamo, M.},
TITLE = {Posets, boolean representations and quick path searching},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {404-424},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=404},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Miyano/87b,
AUTHOR = {Miyano, S.},
TITLE = {The lexicographically first maximal subgraph problems: $P$-completeness and $NC$ algorithms},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {425-434},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=425},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Muller/87a,
AUTHOR = {M{\"u}ller, N.Th.},
TITLE = {Uniform computational complexity of Taylor series},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {435-444},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=435},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Marchetti-Spaccamela-Vercellis/87,
AUTHOR = {Marchetti-Spaccamela, A. and Vercellis, C.},
TITLE = {Efficient on-line algorithms for the knapsack problem},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {445-456},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=445},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger/87,
AUTHOR = {Dietzfelbinger, M.},
TITLE = {Lower bounds for sorting of sums},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {457-466},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=457},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aggarwal-Vitter/87,
AUTHOR = {Aggarwal, A. and Vitter, J.S.},
TITLE = {The I/O complexity of sorting and related problems},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {467-478},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=467},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Naher-Alt/87,
AUTHOR = {Mehlhorn, K. and N{\"a}her, S. and Alt, H.},
TITLE = {A lower bound for the complexity of the union-split-find problem},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {479-488},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=479},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tsakalidis/87,
AUTHOR = {Tsakalidis, A.K.},
TITLE = {The nearest common ancestor in a dynamic tree},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {489-498},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=489},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Finkel/87,
AUTHOR = {Finkel, A.},
TITLE = {A generalization of the procedure of Karp and Miller to well structured transition systems},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {499-508},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Rosier/87,
AUTHOR = {Howell, R.R. and Rosier, L.E.},
TITLE = {Completeness results for reachability, containment, and equivalence with respect to conflict-free vector replacement systems},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {509-520},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kreowski/87,
AUTHOR = {Kreowski, H.-J.},
TITLE = {Partial algebras flow from algebraic specifications},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {521-530},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lange-Jenner-Kirsig/87,
AUTHOR = {Lange, K.-J. and Jenner, B. and Kirsig, B.},
TITLE = {The logarithmic alternation hierarchy collapses: $A\Sigma_2^{\cal L} = A\Pi_2^{\cal L}$},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {531-541},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=531},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaudry/87,
AUTHOR = {Beaudry, M.},
TITLE = {Testing membership in commutative transformation semigroups},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {542-549},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=542},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Jiang/87,
AUTHOR = {Ibarra, O.H. and Jiang, T.},
TITLE = {On the computing power of one-way cellular arrays},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {550-562},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=550},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}