@incollection{Albert-Maurer-Rozenberg/78,
AUTHOR = {Albert, J. and Maurer, H. and Rozenberg, G.},
TITLE = {Simple EOL forms under uniform interpretation generating CF languages},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {1-14},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Altenkamp-Mehlhorn/78,
AUTHOR = {Altenkamp, D. and Mehlhorn, K.},
TITLE = {Codes: Unequal probabilities unequal letter costs},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {15-25},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnold-Dauchet/78,
AUTHOR = {Arnold, A. and Dauchet, M.},
TITLE = {Sur l'inversion des morphismes d'arbres},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {26-35},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=26},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barth/78,
AUTHOR = {Barth, G.},
TITLE = {Grammars with dynamic control sets},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {36-51},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier/78,
AUTHOR = {Beauquier, J.},
TITLE = {Ambiguit{\'e} forte},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {52-62},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=52},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman/78b,
AUTHOR = {Berman, P.},
TITLE = {Relationship between density and deterministic complexity of $NP$-complete languages},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {63-71},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=63},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berry/78,
AUTHOR = {Berry, G.},
TITLE = {Stable models of typed $\lambda$-calculi},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {72-89},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=72},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Biskup/78,
AUTHOR = {Biskup, J.},
TITLE = {Path measures of Turing machines computations},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {90-104},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=90},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boe/78,
AUTHOR = {Boe, J.M.},
TITLE = {Une famille remarquable de codes ind{\'e}composables},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {105-112},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=105},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Greibach-Wrathall/78,
AUTHOR = {Book, R.V. and Greibach, S. and Wrathall, C.},
TITLE = {Comparisons and reset machines},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {113-124},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=113},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Commentz-Walter/78,
AUTHOR = {Commentz-Walter, B.},
TITLE = {Size-depth tradeoff in Boolean formulas},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {125-141},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=125},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coppo-Dezani-Ciancaglini-Ronchi/78,
AUTHOR = {Coppo, M. and Dezani-Ciancaglini, M. and Ronchi, S.},
TITLE = {(Semi)-separability of finite sets of terms in Scott's $D_\infty$-models of the $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {142-164},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=142},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cremers-Hibbard/78b,
AUTHOR = {Cremers, A.B. and Hibbard, T.N.},
TITLE = {Mutual exclusion of N processors using an $O(N)$-valued message variable},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {165-176},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=165},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Fehr/78,
AUTHOR = {Damm, W. and Fehr, E.},
TITLE = {On the power of self-application and higher type recursion},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {177-191},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=177},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dobkin-Munro/78,
AUTHOR = {Dobkin, D. and Munro, I.},
TITLE = {Time and space bounds for selection problems},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {192-204},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=192},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrig-Kreowski-Padawitz/78,
AUTHOR = {Ehrig, H. and Kreowski, H.J. and Padawitz, P.},
TITLE = {Stepwise specification and implementation of abstract data types},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {205-226},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=205},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fortune-Hopcroft-Schmidt/78,
AUTHOR = {Fortune, S. and Hopcroft, J. and Schmidt, E.M.},
TITLE = {The complexity of equivalence and containment for free single variable program schemes},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {227-240},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=227},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galil/78a,
AUTHOR = {Galil, Z.},
TITLE = {On improving the worst case running time of the Boyer-Moore string matching algorithm},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {241-250},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=241},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gallier/78,
AUTHOR = {Gallier, J.},
TITLE = {Semantics and correctness of nondeterministic flowchart programs with recursive procedures},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {251-267},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=251},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Harel/78,
AUTHOR = {Harel, G.},
TITLE = {Arithmetical completeness in logics of programs},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {268-288},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=268},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Itai-Rodeh/78,
AUTHOR = {Itai, A. and Rodeh, M.},
TITLE = {Covering a graph by circuits},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {289-299},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lingas/78,
AUTHOR = {Lingas, A.},
TITLE = {A P-SPACE complete problem related to a pebble game},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {300-321},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=300},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mignotte/78,
AUTHOR = {Mignotte, M.},
TITLE = {Some effective results about linear recursive sequences},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {322-329},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nijholt/78,
AUTHOR = {Nijholt, A.},
TITLE = {On the parsing and covering of simple chain grammars},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {330-344},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=330},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin/78,
AUTHOR = {Pin, J.E.},
TITLE = {Sur un cas particulier de la conjecture de Cerny},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {345-352},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=345},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Price-Wotschke/78,
AUTHOR = {Price, J.K. and Wotschke, D.},
TITLE = {States can sometimes do more than stack symbols in PDA's},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {353-362},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=353},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Restivo/78,
AUTHOR = {Restivo, A.},
TITLE = {Some decision results for recognizable sets in arbitrary monoids},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {363-371},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=363},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reutenauer/78,
AUTHOR = {Reutenauer, C.},
TITLE = {Sur les s{\'e}ries rationnelles en variables non commutatives},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {372-381},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=372},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Saarinen/78,
AUTHOR = {Saarinen, M.},
TITLE = {On constructing efficient evaluators for attribute grammars},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {382-397},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=382},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Salle/78,
AUTHOR = {Sall{\'e}, P.},
TITLE = {Une extension de la th{\'e}orie des types en $\lambda$-calcul},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {398-410},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=398},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savitch/78,
AUTHOR = {Savitch, W.},
TITLE = {Parallel and nondeterministic time complexity classes},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {411-424},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=411},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schnorr/78b,
AUTHOR = {Schnorr, C.P.},
TITLE = {Multiterminal network flow and connectivity in unsymmetrical networks},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {425-439},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=425},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sciore-Tang/78,
AUTHOR = {Sciore, E. and Tang, A.},
TITLE = {Admissible coherent c.p.o.'s},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {440-456},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=440},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Toffoli/78,
AUTHOR = {Toffoli, T.},
TITLE = {Integration of the phase-difference relations in asynchronous, sequential networks},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {457-463},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=457},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valk/78,
AUTHOR = {Valk, R.},
TITLE = {Self-modifying nets, a natural extension of Petri nets},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {464-476},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=464},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Venturini_Zilli/78,
AUTHOR = {Venturini Zilli, M.},
TITLE = {Head recurrent terms in combinatory logic: A generalization of the notion of head normal form},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {477-493},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=477},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiehagen/78,
AUTHOR = {Wiehagen, R.},
TITLE = {Characterization problems in the theory of inductive inference},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {494-508},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=494},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}