Can I read Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16-20, 1984 on EtoBox?

Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16-20, 1984 by Paredaens, Jan is a book available to read on EtoBox.

What is Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16-20, 1984 about?

Content: Front Matter....Pages -The theory of data dependencies — An overview....Pages 1-22The VLSI revolution in theoretical circles....Pages 23-40Tuple sequences and indexes....Pages 41-50The complexity of cubical graphs....Pages 51-57P-generic sets....Pages 58-68Functional dependencies and disjunctive existence constraints in database relations with null values....Pages 69-81The algebra of recursively defined processes and the algebra of regular processes....Pages 82-94Algebraic specification of exception handling and error recovery by means of declarations and equations....Pages 95-108Building the minimal DFA for the set of all subwords of a word on-line in linear time....Pages 109-118The complexity and decidability of separation....Pages 119-127Concurrent transmissions in broadcast networks....Pages 128-136Linear searching for a square in a word....Pages 137-137Domain algebras....Pages 138-150Principality results about some matrix languages families....Pages 151-161Oriented equational clauses as a programming language....Pages 162-173Relational algebra operations and sizes of relations....Pages 174-186Some results about finite and infinite behaviours of a pushdown automaton...

Author

Paredaens, Jan

Publisher

Berlin, Heidelberg : Springer Berlin Heidelberg

Published

1984

Language

EN