Volume 17, 1982
- Tamás Gergely, László Úry:
A Theory of Interactive Programming.
1-20 BibTeX
- André Arnold:
Synchronized Behaviours of Processes and Rational Relations.
21-29 BibTeX
- C. L. Liu, Jane W.-S. Liu, Arthur L. Liestman:
Scheduling with Slack Time.
31-41 BibTeX
- John E. Shore:
Information Theoretic Approximations for M/G/ 1 und G/G/ 1 Queuing Systems.
43-61 BibTeX
- Satoru Miyano:
A Hierarchy Theorem for Multihead Stack-Counter Automata.
63-67 BibTeX
- Grzegorz Rozenberg, R. Verraedt:
Completeness of E 0 L Forms is Decidable.
69-87 BibTeX
- Thiet-Dung Huynh:
Remarks on the Complexity of an Invariant of Context-Free Grammars.
89-99 BibTeX
- Michel Martinez:
Program Behavior Prediction and Prepaging.
101-120 BibTeX
- Michael O. Rabin:
The Choice Coordination Problem.
121-134 BibTeX
- Joep L. W. Kessels:
Arbitration Without Common Modifiable Variables.
135-141 BibTeX
- Sridhar Vasudevan:
Inner Loops in Flowgraphs and Code Optimization.
143-155 BibTeX
- Scott Huddleston, Kurt Mehlhorn:
A New Data Structure for Representing Sorted Lists.
157-184 BibTeX
- Kari-Jouko Räihä, Mikko Saarinen:
Testing Attribute Grammars for Circularity.
185-192 BibTeX
- Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson:
Formes de langages et de grammaires.
193-213 BibTeX
- Alon Itai, Michael Rodeh:
Representation of Graphs.
215-219 BibTeX
- Hagen Huwig:
Ein Modell des P=NP -Problems mit einer positiven Lösung.
221-243 BibTeX
- Ernst-Erich Doberkat:
Deleting the Root of a Heap.
245-265 BibTeX
- Mark H. Overmars, Jan van Leeuwen:
Dynamic Multi-Dimensional Data Structures Based on Quad- and K - D Trees.
267-285 BibTeX
- François Baccelli, Thierry Fleury:
On Parsing Arithmetic Expressions in a Multiprocessing Environment.
287-310 BibTeX
- A. Staphylopatis:
Performance Considerations in the Parallel Execution of Numerical Algorithms on two Processors.
311-325 BibTeX
- Lawrence Snyder:
Recognition and Selection of Idioms for Code Optimization.
327-348 BibTeX
- Alan J. Demers, C. Keleman, Bernd Reusch:
On Some Decidable Properties of Finite State Translations.
349-364 BibTeX
- Flaviu Cristian:
Robust Data Types.
365-397 BibTeX
- Clement H. C. Leung, Qui Hoon Choo:
The Effect of Fixed-Length Record Implementation on File System Response.
399-409 BibTeX
- Joseph JáJá, Janos Simon:
Space Efficient Algorithms for Some Graph Theoretical Problems.
411-423 BibTeX
- Norbert Blum:
On the Power of Chain Rules in Context Free Grammars.
425-433 BibTeX
- Eljas Soisalon-Soininen, Derick Wood:
On a Covering Relation for Context-Free Grammars.
435-449 BibTeX
- Peter R. J. Asveld, J. V. Tucker:
Complexity Theory and the Operational Structure of Algebraic Programming Systems.
451-476 BibTeX
- Paul Pritchard:
Explaining the Wheel Sieve.
477-485 BibTeX
Copyright © Sat May 16 23:49:21 2009
by Michael Ley (ley@uni-trier.de)
