Abstract is missing.
- Algebraic Theory of Parameterized Specifications with RequirementsHartmut Ehrig. 1-24
- A Modal Characterisation of Observable Machine-BehaviourRobin Milner. 25-34
- Trees as Data and File StructuresJürg Nievergelt. 35-45
- Infinitary RelationsMaurice Nivat. 46-75
- Full Approximatibility of a Class of Problems over Power SetsGiorgio Ausiello, Alberto Marchetti-Spaccamela, Marco Protasi. 76-87
- How to Compute Generators for the Intersection of Subgroups in Free GroupsJürgen Avenhaus, Klaus Madlener. 88-100
- Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in PrologMarc Bergman, Pierre Deransart. 101-116
- Top-Down Tree-Transducers for Infinite Trees IJ. Bilstein, Werner Damm. 117-134
- Easy Solutions are Hard To FindStephen L. Bloom, David B. Patterson. 135-146
- Une Semantique Pour Les Arbres Non DeterministesGérard Boudol. 147-161
- On the Algebraic Specification of Nondeterministic Programming LanguagesManfred Broy, Martin Wirsing. 162-179
- Applied Tree EnumerationsNachum Dershowitz, Shmuel Zaks. 180-193
- Evaluation d Arbre Pour un Calcul Formel (Application a l Enumeration de Proteines)Marie-Pierre Franchi-Zannettacci. 194-210
- On Pushdown Tree AutomataIrène Guessarian. 211-223
- Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With InequalitiesGünter Hornung, Peter Raulefs. 224-237
- Calcul du Rang des sum-Arbres Infinis ReguliersGérard Jacob. 238-254
- A Class of Tree-Like UNION-FIND Data Structures and the NonlinearityMarek J. Lao. 255-267
- Grammars Without Erasing Rules - The OI CaseBernard Leguy. 268-279
- Proprietes de Cloture d une Extension de Transducteurs d Arbres DeterministesEric Lilin. 280-289
- Certain Algorithms for Subgraph Isomorphism ProblemsAndrzej Lingas. 290-307
- A # P-Complete Problem over Arithmetical TreesGiancarlo Mauri, Nicoletta Sabadini. 308-315
- Trees in Kripke Models and in an Intuitionistic Refutation SystemPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 316-331
- Efficient Optimization of Monotonic Functions on TreesYehoshua Perl, Yossi Shiloach. 332-339
- Differents Types de Derivations Infinites Dans les Grammaires Algebriques d ArbresN. Polian. 340-349
- Discriminability of Infinite Sets of Terms in the D::infinity::-Models of the lambda-calculusSimona Ronchi Della Rocca. 350-364