@incollection{Aggarwal-Chandra/88,
AUTHOR = {Aggarwal, A. and Chandra, A.K.},
TITLE = {Communication complexity of PRAMs (preliminary version)},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {1-17},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Albert-Fages/88,
AUTHOR = {Albert, L. and Fages, F.},
TITLE = {Average case complexity analysis of the RETE multi-pattern match algorithm},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {18-37},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=18},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnborg-Lagergren-Seese/88,
AUTHOR = {Arnborg, S. and Lagergren, J. and Seese, D.},
TITLE = {Problems easy for tree-decomposable graphs (extended abstract)},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {38-51},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=38},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Back-Kurki-Suonio/88,
AUTHOR = {Back, R.J.R. and Kurki-Suonio, R.},
TITLE = {Serializability in distributed systems with handshaking},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {52-66},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=52},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bajaj-Kim/88,
AUTHOR = {Bajaj, C. and Kim, M.-S.},
TITLE = {Algorithms for planar geometric models},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {67-81},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=67},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Benedek-Itai/88,
AUTHOR = {Benedek, G.M. and Itai, A.},
TITLE = {Nonuniform learnability},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {82-92},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=82},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berstel-Reutenauer/88,
AUTHOR = {Berstel, J. and Reutenauer, C.},
TITLE = {Zeta functions of recognizable languages},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {93-104},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=93},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender/88a,
AUTHOR = {Bodlaender, H.L.},
TITLE = {Dynamic programming on graphs with bounded treewidth},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {105-118},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=105},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chang-Ibarra-Palis/88,
AUTHOR = {Chang, J.H. and Ibarra, O.H. and Palis, M.A.},
TITLE = {Efficient simulations of simple models of parallel computation by time-bounded ATM's and space-bounded TM's},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {119-132},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=119},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cole-Salowe-Steiger-Szemeredi/88,
AUTHOR = {Cole, R. and Salowe, J. and Steiger, W.L. and Szemer{\'e}di, E.},
TITLE = {Optimal slope selection},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {133-146},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=133},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cori-Metivier/88,
AUTHOR = {Cori, R. and M{\'e}tivier, Y.},
TITLE = {Approximation of a trace, asynchronous automata and the ordering of events in a distributed system},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {147-161},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=147},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik/88,
AUTHOR = {Culik II, K.},
TITLE = {New techniques for proving the decidability of equivalence problems},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {162-175},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=162},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/88,
AUTHOR = {Diekert, V.},
TITLE = {Transitive orientations, M{\"o}bius functions, and complete semi-Thue systems for free partially commutative monoids},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {176-187},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=176},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger-Maass/88a,
AUTHOR = {Dietzfelbinger, M. and Maass, W.},
TITLE = {The complexity of matrix transposition on one-tape off-line Turing machines with output tape},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {188-200},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=188},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner/88,
AUTHOR = {Edelsbrunner, H.},
TITLE = {Geometric structures in computational geometry},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {201-213},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=201},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner-Guibas-Pach-Pollack-Seidel-Sharir/88,
AUTHOR = {Edelsbrunner, H. and Guibas, L. and Pach, J. and Pollack, R. and Seidel, R. and Sharir, M.},
TITLE = {Arrangements of curves in the plane - topology, combinatorics, and algorithms},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {214-229},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=214},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Eppstein/88,
AUTHOR = {Eppstein, D.},
TITLE = {Reset sequences for finite automata with application to design of parts orienters},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {230-238},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=230},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet-Gardy-Thimonier/88,
AUTHOR = {Flajolet, P. and Gardy, D. and Thimonier, L.},
TITLE = {Random allocations and probabilistic languages},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {239-253},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=239},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gruska/88,
AUTHOR = {Gruska, J.},
TITLE = {Systolic architectures, systems and computations},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {254-270},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=254},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis/88,
AUTHOR = {Hartmanis, J.},
TITLE = {New developments in structural complexity theory},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {271-286},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=271},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirchner-Kirchner-Meseguer/88,
AUTHOR = {Kirchner, C. and Kirchner, H. and Meseguer, J.},
TITLE = {Operational semantics of OBJ-3},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {287-301},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=287},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirschenhofer-Prodinger-Szpankowski/88,
AUTHOR = {Kirschenhofer, P. and Prodinger, H. and Szpankowski, W.},
TITLE = {Do we really need to balance Patricia tries},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {302-316},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=302},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kok-Rutten/88,
AUTHOR = {Kok, J.N. and Rutten, J.J.M.M.},
TITLE = {Contractions in comparing concurrency semantics},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {317-332},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=317},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kruskal-Rudolph-Snir/88,
AUTHOR = {Kruskal, C.P. and Rudolph, L. and Snir, M.},
TITLE = {A complexity theory of efficient parallel algorithms},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {333-346},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=333},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kucera-Marchetti-Spaccamela-Protasi/88,
AUTHOR = {Ku{\v{c}}era, L. and Marchetti-Spaccamela, A. and Protasi, M.},
TITLE = {On the learnability of DNF formulae},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {347-361},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=347},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lautemann/88,
AUTHOR = {Lautemann, C.},
TITLE = {Efficient algorithms on context-free graph languages},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {362-378},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=362},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lengauer-Wanke/88,
AUTHOR = {Lengauer, T. and Wanke, E.},
TITLE = {Efficient analysis of graph properties on context-free graph languages (extended abstract)},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {379-393},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=379},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lingas-Syslo/88,
AUTHOR = {Lingas, A. and Syslo, M.M.},
TITLE = {A polynomial-time algorithm for subgraph isomorphism of two-connected series-parallel graphs},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {394-409},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=394},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Yap/88,
AUTHOR = {Mehlhorn, K. and Yap, C.-K.},
TITLE = {Constructive Hopf's theorem: or how to untangle closed planar curves},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {410-423},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=410},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Niemi/88,
AUTHOR = {Niemi, V.},
TITLE = {Maximal dense intervals of grammar forms},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {424-438},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=424},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Panangaden-Stark/88,
AUTHOR = {Panangaden, P. and Stark, E.W.},
TITLE = {Computations, residuals, and the power of indeterminacy},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {439-454},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=439},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rajasekaran-Reif/88a,
AUTHOR = {Rajasekaran, S. and Reif, J.H.},
TITLE = {Nested annealing: A provable improvement to simulated annealing},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {455-472},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=455},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ramesh-Ramakrishnan/88,
AUTHOR = {Ramesh, R. and Ramakrishnan, I.V.},
TITLE = {Nonlinear pattern matching in trees},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {473-488},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=473},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Renji/88,
AUTHOR = {Renji, Tao},
TITLE = {Invertibility of linear finite automata over a ring},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {489-501},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=489},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rohnert/88a,
AUTHOR = {Rohnert, H.},
TITLE = {Moving discs between polygons},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {502-515},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=502},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rudich-Berman/88,
AUTHOR = {Rudich, S. and Berman, L.},
TITLE = {Optimal circuits and transitive automorphism groups},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {516-524},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=516},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schafer/88,
AUTHOR = {Sch{\"a}fer, J.},
TITLE = {A Kleene-Presburgerian approach to linear production systems},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {525-534},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=525},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Simon/88e,
AUTHOR = {Simon, K.},
TITLE = {On minimum flow and transitive reduction},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {535-546},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=535},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spehner/88,
AUTHOR = {Spehner, J.C.},
TITLE = {La reconnaissance des facteurs d'un langage fini dans un texte en temps lin{\'e}aire},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {547-560},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=547},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Straubing-Therien-Thomas/88,
AUTHOR = {Straubing, H. and Th{\'e}rien, D. and Thomas, W.},
TITLE = {Regular languages defined with generalized quantifiers},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {561-575},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=561},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tamassia/88,
AUTHOR = {Tamassia, R.},
TITLE = {A dynamic data structure for planar graph embedding (extended abstract)},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {576-590},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=576},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tang-Book/88,
AUTHOR = {Tang, S. and Book, R.V.},
TITLE = {Separating polynomial-time Turing and truth-table reductions by tally sets (preliminary report)},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {591-599},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=591},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tel/88a,
AUTHOR = {Tel, G.},
TITLE = {Assertional verification of a timer-based protocol},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {600-614},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=600},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thatte/88a,
AUTHOR = {Thatte, S.},
TITLE = {Type inference with partial types},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {615-629},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=615},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thiagarajan/88,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {Some behavioural aspects of net theory},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {630-653},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=630},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Turakainen/88,
AUTHOR = {Turakainen, P.},
TITLE = {The equivalence of DGSM replications on Q-rational languages is decidable},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {654-666},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=654},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vazirani-Yannakakis/88,
AUTHOR = {Vazirani, V.V. and Yannakakis, M.},
TITLE = {Pfaffian orientations, 0/1 permanents, and even cycles in directed graphs},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {667-681},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=667},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wagner/88b,
AUTHOR = {Wagner, K.W.},
TITLE = {On restricting the access to an $NP$-oracle},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {682-696},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=682},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watanabe/88a,
AUTHOR = {Watanabe, O.},
TITLE = {On $\le^p_{1-tt}$ sparseness and nondeterministic complexity classes (extended abstract)},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {697-709},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=697},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weijland/88,
AUTHOR = {Weijland, W.P.},
TITLE = {Semantics for logic programs without occur check},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {710-726},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=710},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{You/88,
AUTHOR = {You, J.-H.},
TITLE = {Outer narrowing for equational theories based on constructors},
BOOKTITLE = {Proceedings of the 15th International Colloquium on Automata, Languages and Programming, ICALP'88 (Tampere, Finland, July 11-15, 1988)},
SERIES = {LNCS},
VOLUME = {317},
PAGES = {727-741},
YEAR = {1988},
EDITOR = {Lepist{\"o}, Timo and Salomaa, Arto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=317&spage=727},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}