@incollection{Crochemore/84,
AUTHOR = {Crochemore, M.},
TITLE = {Linear searching for a square in a word},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {137},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=13},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pecuchet/84,
AUTHOR = {P{\'e}cuchet, J.P.},
TITLE = {Automates boustroph{\'e}don, semi-groupe de Birget et monoide inversif libre},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {390},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=39},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fagin-Vardi/84,
AUTHOR = {Fagin, R. and Vardi, M.Y.},
TITLE = {The theory of data dependencies - an overview},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {1-22},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rosenberg/84,
AUTHOR = {Rosenberg, A.L.},
TITLE = {The VLSI revolution in theoretical circles},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {23-40},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=23},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abiteboul-Ginsburg/84,
AUTHOR = {Abiteboul, S. and Ginsburg, S.},
TITLE = {Tuple sequences and indexes},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {41-50},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=41},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Afrati-Papadimitriou-Papageorgiou/84,
AUTHOR = {Afrati, F. and Papadimitriou, C.H. and Papageorgiou, G.},
TITLE = {The complexity of cubical graphs},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {51-57},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=51},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies-Fleischhack-Huwig/84,
AUTHOR = {Ambos-Spies, K. and Fleischhack, H. and Huwig, H.},
TITLE = {P-generic sets},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {58-68},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Atzeni-Morfuni/84,
AUTHOR = {Atzeni, P. and Morfuni, N.M.},
TITLE = {Functional dependencies and disjunctive existence constraints in database relations with null values},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {69-81},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=69},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bergstra-Klop/84a,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {The algebra of recursively defined processes and the algebra of regular processes},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {82-94},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=82},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bidoit/84,
AUTHOR = {Bidoit, M.},
TITLE = {Algebraic specification of exception handling and error recovery by means of declarations and equations},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {95-108},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=95},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blumer-Blumer-Ehrenfeucht-Haussler-McConnell/84,
AUTHOR = {Blumer, A. and Blumer, J. and Ehrenfeucht, A. and Haussler, D. and McConnell, R.},
TITLE = {Building the minimal DFA for the set of all subwords of a word on-line in linear time},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {109-118},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=109},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Ottmann-Soisalon-Soininen-Wood/84,
AUTHOR = {Chazelle, B. and Ottmann, T. and Soisalon-Soininen, E. and Wood, D.},
TITLE = {The complexity and decidability of separation},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {119-127},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=119},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Colbourn-Proskurowski/84,
AUTHOR = {Colbourn, C.J. and Proskurowski, A.},
TITLE = {Concurrent transmissions in broadcast networks},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {128-136},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=128},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dybjer/84,
AUTHOR = {Dybjer, P.},
TITLE = {Domain algebras},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {138-150},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=138},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ferment/84,
AUTHOR = {Ferment, D.},
TITLE = {Principality results about some matrix language families},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {151-161},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=151},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fribourg/84,
AUTHOR = {Fribourg, L.},
TITLE = {Oriented equational clauses as a programming language},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {162-173},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=162},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gardy-Puech/84,
AUTHOR = {Gardy, D. and Puech, C.},
TITLE = {Relational algebra operations and sizes of relations},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {174-186},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=174},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Girault-Beauquier/84,
AUTHOR = {Girault-Beauquier, D.},
TITLE = {Some results about finite and infinite behaviours of a pushdown automaton},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {187-195},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=187},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goltz-Mycroft/84,
AUTHOR = {Goltz, U. and Mycroft, A.},
TITLE = {On the relationship of CCS and Petri nets},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {196-208},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=196},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gouda-Rosier/84,
AUTHOR = {Gouda, M.G. and Rosier, L.E.},
TITLE = {Communicating finite state machines with priority channels},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {209-221},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=209},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graf-Sifakis/84,
AUTHOR = {Graf, S. and Sifakis, J.},
TITLE = {A modal characterization of observational congruence on finite terms of CCS},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {222-234},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=222},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic/84,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Communication complexity},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {235-246},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=235},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Kim-Rosier/84,
AUTHOR = {Ibarra, O.H. and Kim, S.M. and Rosier, L.E.},
TITLE = {Space and time efficient simulations and characterizations of some restricted classes of PDAS},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {247-259},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=247},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Izumi-Inagaki-Honda/84,
AUTHOR = {Izumi, H. and Inagaki, Y. and Honda, N.},
TITLE = {A complete axiom system for algebra of closed-regular expression},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {260-269},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=260},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jerrum/84,
AUTHOR = {Jerrum, M.},
TITLE = {The complexity of finding minimum-length generator sequences},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {270-280},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=270},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jung/84,
AUTHOR = {Jung, H.},
TITLE = {On probabilistic tape complexity and fast circuits for matrix inversion problems},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {281-291},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=281},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki/84b,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {On three-element codes},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {292-302},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=292},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirschenhofer-Prodinger/84,
AUTHOR = {Kirschenhofer, P. and Prodinger, H.},
TITLE = {Recursion depth analysis for special tree traversal algorithms},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {303-311},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=303},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lagarias/84,
AUTHOR = {Lagarias, J.C.},
TITLE = {Performance analysis of Shamir's attack on the basic Merkle-Hellman knapsack cryptosystem},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {312-323},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=312},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mannila/84,
AUTHOR = {Mannila, H.},
TITLE = {Measures of presortedness and optimal sorting algorithms},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {324-336},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=324},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Margolis-Pin/84,
AUTHOR = {Margolis, S.W. and Pin, J.E.},
TITLE = {Languages and inverse semigroups},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {337-346},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=337},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Preparata/84,
AUTHOR = {Mehlhorn, K. and Preparata, F.P.},
TITLE = {Area-time optimal VLSI integer multiplier with minimum computation time},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {347-357},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=347},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nait_Abdallah/84,
AUTHOR = {Nait Abdallah, M.A.},
TITLE = {On the interpretation of infinite computations in logic programming},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {358-370},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=358},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paige-Tarjan/84,
AUTHOR = {Paige, R. and Tarjan, R.E.},
TITLE = {A linear time algorithm to solve the single function coarsest partition problem},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {371-379},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=371},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pansiot/84,
AUTHOR = {Pansiot, J.J.},
TITLE = {Complexit{\'e} des facteurs des mots infinis engendr{\'e}s par morphismes it{\'e}r{\'e}s},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {380-389},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=380},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reif-Spirakis/84,
AUTHOR = {Reif, J. and Spirakis, P.},
TITLE = {Probabilistic bidding gives optimal distributed resource allocation},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {391-402},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=391},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/84,
AUTHOR = {Reisig, W.},
TITLE = {Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {403-413},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=403},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Restivo-Reutenauer/84a,
AUTHOR = {Restivo, A. and Reutenauer, C.},
TITLE = {Cancellation, pumping and permutation in formal languages},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {414-422},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=414},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ron-Rosemberg-Pnueli/84,
AUTHOR = {Ron, D. and Rosemberg, F. and Pnueli, A.},
TITLE = {A hardware implementation of the CSP primitives and its verification},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {423-435},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=423},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schonhage/84,
AUTHOR = {Sch{\"o}nhage, A.},
TITLE = {Factorization of univariate integer polynomials by diophantine approximation and an improved basis reduction algorithm},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {436-447},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=436},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schoning/84b,
AUTHOR = {Sch{\"o}ning, U.},
TITLE = {Robust algorithms: A different approach to oracles},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {448-453},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=448},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spencer-Mayr/84,
AUTHOR = {Spencer, T.H. and Mayr, E.W.},
TITLE = {Node weighted matching},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {454-464},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=454},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Streett-Emerson/84,
AUTHOR = {Streett, R.S. and Emerson, E.A.},
TITLE = {The propositional Mu-calculus is elementary},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {465-472},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=465},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tsakalidis/84a,
AUTHOR = {Tsakalidis, A.K.},
TITLE = {AVL-trees for localized search},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {473-485},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=473},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vitanyi/84b,
AUTHOR = {Vit{\'a}nyi, P.M.B.},
TITLE = {The simple roots of real-time computation hierarchies},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {486-489},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=486},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vitter/84,
AUTHOR = {Vitter, J.S.},
TITLE = {Computational complexity of an optical disk interface},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {490-502},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=490},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Welzl/84,
AUTHOR = {Welzl, E.},
TITLE = {Encoding graphs by derivations and implications for the theory of graph grammars},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {503-513},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=503},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Willard/84b,
AUTHOR = {Willard, D.E.},
TITLE = {Sampling algorithms for differential batch retrieval problems},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {514-526},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=514},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}