1. ICALP 1972:
Paris,
France
Maurice Nivat (Ed.):
Automata,
Languages and Programming,
Colloquium,
Paris,
France,
July 3-7,
1972. North-Holland,
Amsterdam,
ISBN 0-7204-2074-1
- Philippe Butzbach:
Une famille de congruences de Thue pour lesquelles le problème de l'équivalence est décidable. Application á l'équivalence des grammaires séparées.
3-12 BibTeX
- Christian Choffrut:
Transducteurs conservant l'imprimitivité du langage d'entrée.
13-29 BibTeX
- Robert Cori:
Sur des langages vérifiant des équations avec opérateur.
31-43 BibTeX
- Frederick A. Hosch, Lawrence H. Landweber:
Finite Delay Solutions for Sequential Conditions.
45-60 BibTeX
- R. E. Kalman:
Realization Theory of Linear Systems over a Commutative Ring.
61-65 BibTeX
- A. Lentin:
Equations in Free Monoids.
67-85 BibTeX
- Matti Linna:
Finite Power Property of Regular Languages.
87-98 BibTeX
- Azaria Paz, Michael Rabinovich:
Linear Automata - Approximation Problem (Extended Abstract).
99-102 BibTeX
- Marcel Paul Schützenberger:
A propos du relation rationelles fonctionnelles.
103-114 BibTeX
- Guy Vidal-Naquet:
Quelques applications des automates à arbres infinis.
115-122 BibTeX
- Gérard Viennot:
Automates et bascules.
123-133 BibTeX
- Yechezkel Zalcstein:
Syntactic Semigroups of Some Classes of Star-Free Languages.
135-144 BibTeX
- Gianni Aguzzi, Renzo Pinzani, Renzo Sprugnoli:
An Algorithmic Approach to the Semantics of Programming Languages.
147-166 BibTeX
- J. W. de Bakker, Willem P. de Roever:
A Calculus for Recursive Program Schemes.
167-196 BibTeX
- Corrado Böhm:
Can Syntax Be Ignored during Translation?
197-207 BibTeX
- Volker Claus:
Assignment-Programs.
209-214 BibTeX
- Joost Engelfriet:
Translation of Simple Program Schemes.
215-223 BibTeX
- Peter Hitchcock, David Park:
Induction Rules and Termination Proofs.
225-251 BibTeX
- Denis J. Kfoury:
Comparing Algebraic Structures up to Algorithmic Equivalence.
253-263 BibTeX
- Jean Kott:
Remarques sur la structure des schémas de programmes.
265-271 BibTeX
- Zohar Manna, Jean Vuillemin:
Fixpoint Approach to the Theory of Computation.
273-291 BibTeX
- Maurice Nivat:
Langages algébriques sur le magma libre et sémantique des schémas de programme.
293-308 BibTeX
- Louis Nolin:
Systèmes algorithmiques, systèmes fonctionnels.
309-318 BibTeX
- Gilles Ruggiu:
Les types et les appels de procédures.
319-330 BibTeX
- Mitchell Wand:
A Concrete Approach to Abstract Recursion Definitions.
331-341 BibTeX
- Jean Berstel:
Sur la densité asymptotique de langages formels.
345-358 BibTeX
- Luc Boasson:
Un critère de rationnalité des langages algébriques.
359-365 BibTeX
- Stefano Crespi-Reghizzi:
Approximation of Phrase Markers by Regular Sets.
367-376 BibTeX
- J. P. Crestin:
Un langage non ambigu dont le carré est d'ambiguité non bornée.
377-390 BibTeX
- Peter van Emde Boas:
A Comparison of the Properties of Complexity Classes and Honesty Classes.
391-396 BibTeX
- Michel Fliess:
Automates stochastiques et séries rationnelles non commutatives.
397-411 BibTeX
- Michael A. Harrison, Ivan M. Havel:
On a Family of Deterministic Grammars (Extended Abstract).
413-441 BibTeX
- Pei Hsia, Raymond T. Yeh:
Finite Automata with Markers.
443-451 BibTeX
- Aravind K. Joshi, Leon S. Levy, Masako Takahashi:
A Tree Generating System.
453-465 BibTeX
- S.-Y. Kuroda:
On Structural Similarity of Phrase-Structure Languages.
467-474 BibTeX
- Masako Takahashi:
Primitive Tranformations of Regular Sets and Recognizable Sets.
475-480 BibTeX
- Gabriel Thierrin:
Convex Languages.
481-492 BibTeX
- Stephen F. Weiss, Gyula Magó, Donald F. Stanat:
Algebraic Parsing Techniques for Context-Free Languages.
493-498 BibTeX
- Brenda S. Baker:
Context-Sensitive Grammars Generating Context-Free Languages.
501-506 BibTeX
- Alberto Bertoni:
Complexity Problems Related to the Approximation of Probabilistic Languages and Events by Deterministic Machines.
507-516 BibTeX
- Ronald V. Book:
Complexity Classes of Formal Languages (Extended Abstract).
517-520 BibTeX
- Alex Dubinsky:
The Functions Computed by a Monadic Program Schema with One Location.
521-535 BibTeX
- Philippe Flajolet, Jean-Marc Steyaert:
Complexité des problèmes de décision relatifs aux algorithmes de tri.
537-548 BibTeX
- Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch:
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.
549-561 BibTeX
- Rainer Kemp:
An Estimation of the Set of States of the Minimal LR(0)-Acceptor.
563-574 BibTeX
- Burkhard Monien:
Relationship between Pushdown Automata and Tape-Bounded Turing Machines.
575-583 BibTeX
- Claus-Peter Schnorr:
Does the Computational Speed-up Concern Programming?
585-591 BibTeX
- R. Turner:
An Infinite Hierarchy of Term Languages - An Approach to Mathematical Complexity.
593-608 BibTeX
- Bostjan Vilfan:
A Generalization of a Theorem of Specker and Some Applications.
609-622 BibTeX
Copyright © Wed Jun 4 18:38:26 2008
by Michael Ley (ley@uni-trier.de)
