Klaus Weihrauch (Ed.):
Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings.
Lecture Notes in Computer Science 67 Springer 1979, ISBN 3-540-09118-1 BibTeX
@proceedings{DBLP:conf/tcs/1979,
editor = {Klaus Weihrauch},
title = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany,
March 26-28, 1979, Proceedings},
booktitle = {Theoretical Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {67},
year = {1979},
isbn = {3-540-09118-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Luc Boasson:
Context-Free Sets of Infinite Words.
1-9 BibTeX
- Hermann A. Maurer:
New Aspects of Homomorphisms.
10-24 BibTeX
- Albert R. Meyer, Irene Greif:
Can Partial Correctness Assertions Specify Programming Language Semantics?.
25-26 BibTeX
- Robin Milner:
An Algebraic Theory for Synchronization.
27-35 BibTeX
- Arnold Schönhage:
Storage Modification Machines.
36-37 BibTeX
- Leslie G. Valiant:
Negative Results on Counting.
38-46 BibTeX
- Joffroy Beauquier:
Strong Non-Deterministic Context-Free Languages.
47-57 BibTeX
- Victor L. Bennison:
Information Content Characterizations of Complexity Theoretic Properties.
58-66 BibTeX
- Norbert Blum, Kurt Mehlhorn:
Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen.
67-78 BibTeX
- Gérard Boudol:
A new Recursion Induction Principle.
79-90 BibTeX
- Burchard von Braunmühl, Rutger Verbeek:
Finite-Change Automata.
91-100 BibTeX
- Peter van Emde Boas, Jan van Leeuwen:
Move Rules and Trade-Offs in the Pebble Game.
101-112 BibTeX
- Dietmar Friede:
Transition Diagrams and Strict Deterministic Grammars.
113-123 BibTeX
- Péter Gács:
Exact Expressions for some Randomness Tests.
124-131 BibTeX
- Harald Ganzinger:
On Storage Optimization for Automatically Generated Compilers.
132-141 BibTeX
- Irène Guessarian:
On Continuous Completions.
142-152 BibTeX
- Joos Heintz:
A New Method to Show Lower Bounds for Polynomials which are Hard to Compute.
153-157 BibTeX
- Matthias Jantzen:
On Zerotesting-Bounded Multicounter Machines.
158-169 BibTeX
- Akira Kanda, David Michael Ritchie Park:
When are two Effectively given Domains Identical?.
170-181 BibTeX
- Michel Latteux:
Sur deux langages linéaires.
182-189 BibTeX
- Mila E. Majster-Cederbaum, Angelika Reiser:
An Efficient On-Line Position Tree Construction Algorithm.
190-198 BibTeX
- Kurt Mehlhorn:
Sorting Presorted Files.
199-212 BibTeX
- Thomas Ottmann, Arnold L. Rosenberg, Hans-Werner Six, Derick Wood:
Node-Visit Optimal 1-2 Brother Trees.
213-221 BibTeX
- Wolfgang J. Paul, Rüdiger Reischuk:
A Graph Theoretic Approach to Determinism versus Non-Determinism.
222-232 BibTeX
- Jean-Eric Pin:
Une caractérisation de trois variétés de langages bien connues.
233-243 BibTeX
- Lutz Priese:
Über eine minimale universelle Turing-Maschine.
244-259 BibTeX
- Christophe Reutenauer:
Sur les variétés de langages et de monoídes.
260-265 BibTeX
- Hans-Anton Rollik:
Automaten in planaren Graphen.
266-275 BibTeX
- Jacques Sakarovitch:
Théorème de transversale rationnelle pour les automates à pile déterministes.
276-285 BibTeX
- Claus-Peter Schnorr:
On the Additive Complexity of Polynomials and some New Lower Bounds.
286-297 BibTeX
- Esko Ukkonen:
Remarks on the Nonexistence of some Covering Grammars.
298-309 BibTeX
- Kai Wöhl:
Zur Komplexität der Presburger Artihmetik und des Äquivalenzproblems einfacher Programme.
310-318 BibTeX
Copyright © Sat May 16 23:43:39 2009
by Michael Ley (ley@uni-trier.de)