Volume 18, 1982
- Robert B. K. Dewar, Susan M. Merritt, Micha Sharir:
Some Modified Algorithms for Dijkstra's Longest Upsequence Problem.
1-15 BibTeX
- Raúl J. Ramírez, Frank Wm. Tompa, J. Ian Munro:
Optimum Reorganization Points for Arbitrary Database Costs.
17-30 BibTeX
- Timothy A. Budd, Dana Angluin:
Two Notions of Correctness and Their Relation to Testing.
31-45 BibTeX
- Manfred Broy, Martin Wirsing:
Partial Abstract Types.
47-64 BibTeX
- Jeannine Leguy:
Langages saturés et cones décroissants Langages et cones bifidèles.
65-78 BibTeX
- Hans Langmaack:
On Termination Problems for Finitely Interpreted ALGOL-like Programs.
79-108 BibTeX
- Christiane Frougny, Jacques Sakarovitch, Erich Valkema:
On the Hotz Group of a Context-Free Grammar.
109-115 BibTeX
- Wolfgang Reisig:
Deterministic Buffer Synchronization of Sequential Processes.
117-134 BibTeX
- Lynn Robert Carter:
Further Analysis of Code Generation for a Single Register Machine.
135-147 BibTeX
- George W. Ernst, Jainendra K. Navlakha, William F. Ogden:
Verification of Programs with Procedure-Type Parameter.
149-169 BibTeX
- Narao Nakatsu, Yahiko Kambayashi, Shuzo Yajima:
A Longest Common Subsequence Algorithm Suitable for Similar Text Strings.
171-179 BibTeX
- Alberto Pettorossi, Rod M. Burstall:
Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique.
181-206 BibTeX
- Donna J. Brown, Brenda S. Baker, Howard P. Katseff:
Lower Bounds for On-Line Two-Dimensional Packing Algorithms.
207-225 BibTeX
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
227-253 BibTeX
- Brian Allen:
On the Costs of Optimal and Near-Optimal Binary Search Trees.
255-263 BibTeX
- Flemming Nielson:
A Denotational Framework for Data Flow Analysis.
265-287 BibTeX
- S. O. Anderson, Roland Carl Backhouse:
An Alternative Implementation of an Insertion-Only Recovery Technique.
289-298 BibTeX
- Karl Winklmann:
On the Complexity of Some Problems Concerning the Use of Procedures I.
299-318 BibTeX
- Ashok K. Agrawala, Satish K. Tripathi:
On an Exponential Server with General Cyclic Arrivals.
319-334 BibTeX
- Karel Culik II, Jozef Gruska, Arto Salomaa:
Systolic Automata for VLSI on Balanced Trees.
335-344 BibTeX
- Jan van Leeuwen, Mark H. Overmars:
Stratified Balanced Search Trees.
345-359 BibTeX
- Ole Eriksen, Jørgen Staunstrup:
Concurrent Algorithms for Root Searching.
361-376 BibTeX
- Kenneth J. Supowit, Edward M. Reingold:
The Complexity of Drawing Trees Nicely.
377-392 BibTeX
- Giora Slutzki:
Finite State Relational Programs.
393-409 BibTeX
- Karl Winklmann:
On the Complexity of some Problems Concerning the Use of Procedures II.
411-430 BibTeX
- Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton:
A Network for the Detection of Words in Continuous Speech.
431-448 BibTeX
- Philippe Nain:
Partage de tâches entre processeurs homogenes.
449-466 BibTeX
Copyright © Sat May 16 23:49:21 2009
by Michael Ley (ley@uni-trier.de)
