Theoretical Computer Science
3rd GI Conference Darmstadt, March 28-30, 1977
(Sprache: Englisch, Französisch, Deutsch)
Leider schon ausverkauft
versandkostenfrei
Buch
37.44 €
Produktdetails
Produktinformationen zu „Theoretical Computer Science “
Inhaltsverzeichnis zu „Theoretical Computer Science “
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 Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen für kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter 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 für While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbündeln.- Bemerkungen zu den Übergangshalbgruppen 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 färbbarer 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 Zeitkomplexität der kontextsensitiven Analyse.- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollständiges Problem auf der Baummaschine.- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der
... mehr
Operationszeit.
... weniger
Bibliographische Angaben
- 1977, 432 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Deutsch/Englisch/Französisch
- Herausgegeben: H. Tzschach, H. K. -G. Walter, H. Waldschmidt
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540081380
- ISBN-13: 9783540081388
- Erscheinungsdatum: 01.03.1977
Sprache:
Englisch, Französisch, Deutsch
Kommentar zu "Theoretical Computer Science"
0 Gebrauchte Artikel zu „Theoretical Computer Science“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theoretical Computer Science".
Kommentar verfassen