Can I read Automata, Languages and Programming [electronic resource] : Fifth Colloquium, Udine, Italy, July 17-21, 1978 on EtoBox?

Automata, Languages and Programming [electronic resource] : Fifth Colloquium, Udine, Italy, July 17-21, 1978 by Ausiello, G. (Giorgio), 1941-, Böhm, Corrado is a book available to read on EtoBox.

What is Automata, Languages and Programming [electronic resource] : Fifth Colloquium, Udine, Italy, July 17-21, 1978 about?

Content: Front Matter....Pages -Simple EOL forms under uniform interpretation generating CF languages....Pages 1-14Codes : Unequal probabilities, unequal letter costs....Pages 15-25Sur l'inversion des morphismes d'arbres....Pages 26-35Grammars with dynamic control sets....Pages 36-51Ambiguite forte....Pages 52-62Relationship between density and deterministic complexity of MP-complete languages....Pages 63-71Stable models of typed ?-calculi....Pages 72-89Path measures of turing machine computations....Pages 90-104Une famille remarquable de codes indecomposables....Pages 105-112Comparisons and reset machines....Pages 113-124Size — Depth tradeoff in boolean formulas....Pages 125-141(Semi)-separability of finite sets of terms in Scott's D?-models of the ?-calculus....Pages 142-164Mutual exclusion of N processors using an O(N)-valued message variable....Pages 165-176On the power of self-application and higher type recursion....Pages 177-191Time and space bounds for selection problems....Pages 192-204Stepwise specification and implementation of abstract data types....Pages 205-226The complexity of equivalence and containment for free single variable program schemes....Pages 227-240On imp

Author

Ausiello, G. (Giorgio), 1941-, Böhm, Corrado

Publisher

Berlin, Heidelberg : Springer Berlin Heidelberg

Published

1978

Language

EN