عنوان

Theoretical Computer Science :

(Number (ISBN

3540119736

(Number (ISBN

3540394214

(Number (ISBN

9783540119739

(Number (ISBN

9783540394211

Number

b565970

Title Proper

Theoretical Computer Science :

General Material Designation

[Book]

Other Title Information

6th Gl-Conference Dortmund, January 5-7, 1983

First Statement of Responsibility

edited by Armin B. Cremers, Hans-Peter Kriegel.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer-Verlag

Date of Publication, Distribution, etc.

1982

Specific Material Designation and Extent of Item

: v.: digital

Series Title

Lecture notes in computer science, 145.

Text of Note

Partial functions in comstructive formal theories --; A Monte Carlo factoring algorithm with finite storage --; Theory of concurrency control --; Interprocedural data flow systems --; On the crossing-free, rectangular embedding of weighted graphs in the plane --; Discreteness, K-density and D-continuity of occurrence nets --; Controlled relativizations of P and NP --; The computational complexity of certain graph grammars --; Inconsistencies of pure LISP --; FIFO nets: A new model of parallel computation --; Une extension aux mots infinis de la notion de transduction rationnelle --; Algebraic and operational semantics of exceptions and errors --; The expected number of nodes and leaves at level k in ordered trees --; Complexity theory on real numbers and functions --; A multifit algorithm for uniform multiprocessor scheduling --; Analysis of polynomial approximation algorithms for constraint expressions --; Heuristics for minimum edge length rectangular partitions of rectilinear figures --; An axiomatic approach to semantics of specification languages --; Efficiency of universal parallel computers --; Coroutines and processes in block structured languages --; A general scheme for some deterministically parsable grammars and their strong equivalents --; A decidability result about sufficient-completeness of axiomatically specified abstract data types --; Two remarks on the power of counting --; Some operations and transductions that preserve rationality --; On algebras of computation sequences and proofs of equivalence of operational and denotational semantics --; Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits --; The equivalence problem for N.T.S. languages is deoidable --; Weakest expressible preconditions: A new tool for proving completeness results about Hoare calculi --; A hierarchy of sets of infinite trees --; Maintaining order in a generalized linked list --; Periodic versus arbitrary tessellations of the plane using polyominos of a single type.

Computer science.

Computer software.

Class number

Book number

edited by Armin B. Cremers, Hans-Peter Kriegel.

A B Cremers

H P Kriegel

Electronic name

[Book]

Y