Automata, Languages and Programming
Broschiertes Buch

Automata, Languages and Programming

Ninth Colloquium Aarhus, Denmark, July 12-16, 1982

Herausgegeben: Nielsen, M.; Schmidt, E. M.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
40,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Locality in modular systems.- On-the-fly garbage collection: New algorithms inspired by program proofs.- Algebraic specifications for parametrized data types with minimal parameter and target algebras.- A modification of the ?-calculus as a base for functional programming languages.- On the power of nondeterminism in dynamic logic.- Equivalence and membership problems for regular trace languages.- On the power of chain rules in context free grammars.- Extended Chomsky-Sch¿tzenberger theorems.- Real time agents.- Machine inductive inference and language identification.- Approximations of infin...