Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    gbv_595131808
    Format: Online-Ressource (VII, 613 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540393085
    Series Statement: Lecture notes in computer science 140
    Content: 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 the equivalence 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.
    Note: Literaturangaben
    Additional Edition: ISBN 3540115765
    Additional Edition: ISBN 0387115765
    Additional Edition: ISBN 9783540115762
    Additional Edition: Erscheint auch als Druck-Ausgabe Automata, languages and programming Berlin [u.a.] : Springer, 1982 ISBN 3540115765
    Additional Edition: ISBN 0387115765
    Language: English
    Keywords: Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages