Volume 39,
1985
- Christiane Frougny:
Context-Free Grammars with Cancellation Properties.
3-13 BibTeX
- Jean-Louis Lassez, Michael J. Maher:
Optimal Fixedpoints of Logic Programs.
15-25 BibTeX
- Colin Stirling:
A Proof-Theoretic Characterization of Observational Equivalence.
27-45 BibTeX
- Ralph-Johan Back, Heikki Mannila:
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.
47-68 BibTeX
- R. Kannan:
Solving Systems of Linear Equations over Polynomials.
69-88 BibTeX
- Oscar H. Ibarra, Michael A. Palis, Jik H. Chang:
On Efficient Recognition of Transductions and Relations.
89-106 BibTeX
- Lutz Priese:
On a Fast Decomposition Method in Some Models of Concurrent Computations.
107-121 BibTeX
- Deepak Kapur, Paliath Narendran, Mukkai S. Krishnamoorthy, Robert McNaughton:
The Church-Rosser Property and Special Thue Systems.
123-133 BibTeX
- Corrado Böhm, Alessandro Berarducci:
Automatic Synthesis of Typed Lambda-Programs on Term Algebras.
135-154 BibTeX
- Michel Parigot, Elisabeth Pelz:
A Logical Approach of Petri Net Languages.
155-169 BibTeX
- Jean-Claude Spehner:
Systèmes Entiers d'Équations sur un Alphabet Fini et Conjecture d'Ehrenfeucht.
171-188 BibTeX
- Mario Rodríguez-Artalejo:
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic.
189-206 BibTeX
- Stephen R. Mahaney, Paul Young:
Reductions Among Polynomial Isomorphism Types.
207-224 BibTeX
- Deborah Joseph, Paul Young:
Some Remarks on Witness Functions for Nonpolynomial and Noncomplete Sets in NP.
225-237 BibTeX
- Richard Hull:
Non-Finite Specifiability of Projections of Functional Dependency Families.
239-265 BibTeX
- Jörg Vogel, Klaus Wagner:
Two-Way Automata with More than one Storage Medium.
267-280 BibTeX
- Rani Siromoney, V. Rajkumar Dare:
On Infinite Words Obtained by Selective Substitution Grammars.
281-295 BibTeX
- Armin Haken:
The Intractability of Resolution.
297-308 BibTeX
- Seymour Ginsburg, Edwin H. Spanier:
On Completing Tables to Satisfy Functional Dependencies.
309-317 BibTeX
- Ronald V. Book, Friedrich Otto:
On the Security of Name-Stamp Protocols.
319-325 BibTeX
- Ernst L. Leiss:
On Solving Star Equations.
327-332 BibTeX
- André Arnold:
A Syntactic Congruence for Rational omega-Language.
333-335 BibTeX
- Martin W. Bunder:
An Extension of Klop's Counterexample to the Church-Rosser Property to lambda-Calculus with other Ordered Pair Combinators.
337-342 BibTeX
- Joos Heintz:
Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields.
343 BibTeX
->TCS 24(3):
239-277 (1983)
Copyright © Sun May 17 00:23:53 2009
by Michael Ley (ley@uni-trier.de)
