+612 9045 4394
 
CHECKOUT
Theoretical Computer Science : 3rd GI Conference Darmstadt, March 28-30, 1977 - H. Tzschach

Theoretical Computer Science

3rd GI Conference Darmstadt, March 28-30, 1977

By: H. Tzschach (Editor), H. Waldschmidt (Editor), H. K.-G. Walter (Editor)

Paperback

Published: 1st March 1977
Ships: 15 business days
15 business days
$66.80
On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Aquivalenzproblem fur spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen fur kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke fur den Platzbedarf bei der Analyse beschrankter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise fur While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbundeln.- Bemerkungen zu den Ubergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften farbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class ?2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexitat der kontextsensitiven Analyse.- Uber Netzwerkgrossen hoherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollstandiges Problem auf der Baummaschine.- Uber die Lange einer Berechnung bei linearer Parameterabhangigkeit der Operationszeit.

ISBN: 9783540081388
ISBN-10: 3540081380
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English , French , German
Number Of Pages: 428
Published: 1st March 1977
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.24
Weight (kg): 0.6