50. Birthday:
Dieter Rödding,
1987
Egon Börger (Ed.):
Computation Theory and Logic, In Memory of Dieter Rödding.
Lecture Notes in Computer Science 270 Springer 1987, ISBN 3-540-18170-9 BibTeX
@proceedings{DBLP:conf/birthday/1987rodding,
editor = {Egon B{\"o}rger},
title = {Computation Theory and Logic, In Memory of Dieter R{\"o}dding},
booktitle = {Computation Theory and Logic},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {270},
year = {1987},
isbn = {3-540-18170-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Klaus Ambos-Spies:
Minimal Pairs for Polynomial Time Reducibilities.
1-13 BibTeX
- Günter Asser:
Primitive Recursive Word-Functions of one Variable.
14-19 BibTeX
- Andreas Blass, Yuri Gurevich:
Existential Fixed-Point Logic.
20-36 BibTeX
- Egon Börger:
Unsolvable Decision Problems for Prolog Programs.
37-48 BibTeX
- Hans-Jürgen Brämik:
You have not understodd a sentence, unless you can prove it.
49-58 BibTeX
- Anne Brüggemann-Klein, Rolf Klein:
On the Minimality of K, F and D or: Why Löten is Non-Trivial.
59-66 BibTeX
- Hans Georg Carstens:
A 5-Color-Extension-Theorem.
67-77 BibTeX
- Daniel E. Cohen:
Closure Relations, Buchberger's Algorithm, and Polynomials in Infinitely Many Variables.
78-87 BibTeX
- Elmar Cohors-Fresenborg:
The Benefit of Microworlds inLearning Computer Programming.
88-100 BibTeX
- Elias Dahlhaus:
Skolem Normal Forms Concerning the Least Fixpoint.
101-106 BibTeX
- M. Deutsch:
Spectral Representation of Recursively Enumerable and Coenumerable Predicates.
107-116 BibTeX
- Anne Drosdol, Britta Schinzel:
Aggregating Inductive Expertise on Partial Recursive Functions.
117-130 BibTeX
- Heinz-Dieter Ebbinghaus:
Domino Threads and Complexity.
131-142 BibTeX
- Erwin Engeler:
Modelling of Cooperative Processes.
143-153 BibTeX
- Giorgio Germano, Stefano Mazzanti:
A Setting for Generalized Computability.
154-165 BibTeX
- Etienne Grandjean:
First-order Spectra with One Variable.
166-180 BibTeX
- Gisbert Hasenjaeger:
On the Early History of Register Machines.
181-188 BibTeX
- Marek Karpinski, Rutger Verbeek:
Randomness, Provability, and the Seperation of Monte Carlo Time and Space.
189-207 BibTeX
- Hans Kleine Büning, Theodor Lettmann:
Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.
208-223 BibTeX
- H. Kull, Ernst Specker:
Direct Construction of Mutually Orthogonal Latin Square.
224-236 BibTeX
- Martin Kummer:
Negative Results about the Length Problem.
237-248 BibTeX
- Thomas Lickteig, Hugo Volger:
Some Results on the Complexity of Powers.
249-255 BibTeX
- Daniele Mundici:
The Turing Complexity of AF C*-algebras with Lattice-ordered Ko.
256-264 BibTeX
- Klaus Nökel, Robert Rehbold, Michael M. Richter:
Remarks on SASL and the Verification of Functional Programming Languages.
265-276 BibTeX
- Thomas Ottmann, Gerald Thiemt, Christian P. Ullrich:
Numerical Stability of simple Geometric Algorithms in the plane.
277-293 BibTeX
- Lutz Priese:
Communication with Concurrent Systems via I/O-Procedures.
294-305 BibTeX
- Bruno Scarpellini:
A Class of EXP-Time Machines which can be Simulated by Polytape Machines.
306-319 BibTeX
- I. Schwank:
Alpha-Beta-Gamma - Automata Realizing Preferences.
320-333 BibTeX
- Helmut Schwichtenberg:
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen.
334-348 BibTeX
- Dirk Siefkes:
Grammars for Terms and Automata - On a book by the late J. Richard Büchi.
349-359 BibTeX
- Wilfried Sieg:
Relative Konsistenz.
360-381 BibTeX
- Wolfgang A. Slaby:
Segment Translation Systems.
382-390 BibTeX
- Volker Sperschneider:
First Steps towards a Theory of Complexity over more General Data Structures.
391-402 BibTeX
- Dieter Spreen, Hans Stahl:
On the Power of Single-Valued Nondeterministic Polynomial Time Computations.
403-414 BibTeX
- Wolfgang Thomas:
A Concatenation Game and the Dot-Depth Hierarchy.
415-426 BibTeX
- Klaus W. Wagner:
Do There Exist Languages With an Arbitrarily Small Amount of Context-Sensitivity.
427-432 BibTeX
- Ingo Wegener:
The Complexity of Symmetric Boolean Functions.
433-442 BibTeX
Copyright © Sat May 16 22:59:38 2009
by Michael Ley (ley@uni-trier.de)