Automata, Languages and Programming

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

Häftad, Engelska, 1982

AvM. Nielsen,E. M. Schmidt

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1982-07-01
Mått155 x 235 x 34 mm
Vikt937 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor615
Upplaga1982
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540115762

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it

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 infinitary objects.- On test sets and the Ehrenfeucht conjecture.- An automata-theoretic characterization of the OI-hierarchy.- Fast detection of polyhedral intersections.- On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store.- Multihead finite state automata am concatenation.- Conditions enforcing regularity of context-free languages.- Repetitions in homomorphisms and languages.- Parameter passing commutes with implementation of parameterized data types.- An operational semantics for pure dataflow.- Some properties of D-continuous causal nets.- A branching process arising in dynamic hashing, trie searching and polynomial factorization.- A sound and complete HOARE axiomatization of the ADA-rendezvous.- Universal realization, persistent interconnection and implementation of abstract modules.- Heaps on heaps.- A boundary of isomorphism completeness in the lattice of semigroup pseudovarieties.- Derived Pairs, overlap closures, and rewrite dominoes: New tools for analyzing term rewriting systems.- A programming language for the inductive sets, and applications.- A lower bound for the formula size of rational functions.- On theequivalence problem for binary DOL systems.- Results on the propositional ?-calculus.- An iteration theorem for simple precedence languages.- The power of non-rectilinear holes.- Fixed-point semantics for algebraic (tree) grammars.- Completing biprefix codes.- Advances in pebbling.- A powerdomain for countable non-determinism.- Properties of a notation for combining functions.- On the power of probabilistic choice in synchronous parallel computations.- Biprefix codes and semisimple algebras.- Algorithmic theories of data structures.- Implementation of parameterised specifications.- Algebraic semantics of recursive flowchart schemes.- The complexity of promise problems.- Global and local invariants in transition systems.- On relativization and the existence of complete sets.- Semantics of interference control.- Efficient simulations of multicounter machines.- Event structure semantics for CCS and related languages.- Domains for denotational semantics.

Du kanske också är intresserad av

Magic Stone

Magic Stone

M Nielsen, M. Nielsen

479 kr

Instrumentation, Control and Automation in Wastewater Systems

Instrumentation, Control and Automation in Wastewater Systems

Gustaf Olsson, M. Nielsen, Zhiguo Yuan, Anders Lynggaard-Jensen, J.-P. Steyer

2 469 kr

Future Challenges

Future Challenges

G Giarelli, B Jacobsen, M Nielsen, G S Reinbacher

479 kr

Liken vi begravde

Bokrea

Liken vi begravde

119 kr329 kr

Lucia är död

Bokrea

Del 3

Lucia är död

Katarina Wennstam

99 kr289 kr

Mina vänner

Bokrea

Mina vänner

Fredrik Backman

119 kr319 kr

Vargtimme

Bokrea

Vargtimme

139 kr309 kr

Skördebarn

Bokrea

Del 2

Skördebarn

Hans Rosenfeldt

129 kr329 kr

Bara rumpor på kryssning

Bokrea

Bara rumpor på kryssning

Annika Leone, Bettina Johansson

79 kr189 kr

Orkidéhuset

Bokrea

Orkidéhuset

99 kr329 kr