Abstract is missing.
- Machine Models and SimulationPeter van Emde Boas. 1-66
- Finite AutomataDominique Perrin. 1-57
- A Catalog of Complexity ClassesDavid S. Johnson. 67-161
- Formal Language and Power SeriesArto Salomaa. 103-132
- Automata on Infinite ObjectsWolfgang Thomas. 133-192
- Machine-Independent Complexity TheoryJoel I. Seiferas. 163-186
- Graph Rewriting: An Algebraic and Logic ApproachBruno Courcelle. 193-242
- Rewrite SystemsNachum Dershowitz, Jean-Pierre Jouannaud. 243-320
- Algorithms for Finding Patterns in StringsAlfred V. Aho. 255-300
- Data StructuresKurt Mehlhorn, Athanasios K. Tsakalidis. 301-342
- Functional Programming and Lambda CalculusHendrik Pieter Barendregt. 321-363
- Computational GeometryF. Frances Yao. 343-389
- Type Systems for Programming LanguagesJohn C. Mitchell. 365-458
- Algorithmic Motion Planning in RoboticsJacob T. Schwartz, Micha Sharir. 391-430
- Average-Case Analysis of Algorithms and Data StructuresJeffrey Scott Vitter, Philippe Flajolet. 431-524
- Recursive Applicative Program SchemesBruno Courcelle. 459-492
- Logic ProgrammingKrzysztof R. Apt. 493-574
- Graph AlgorithmsJan van Leeuwen. 525-631
- Denotational SemanticsPeter D. Mosses. 575-631
- Algebraic Complexity TheoryVolker Strassen. 633-672
- Semantic DomainsCarl A. Gunter, Dana S. Scott. 633-674
- Algorithms in Number TheoryArjen K. Lenstra, Hendrik W. Lenstra Jr.. 673-716
- Algebraic SpecificationMartin Wirsing. 675-788
- CryptographyRonald L. Rivest. 717-755
- The Complexity of Finite FunctionsRavi B. Boppana, Michael Sipser. 757-804
- Logics of ProgramsDexter Kozen, Jerzy Tiuryn. 789-840
- Communication NetworksNicholas Pippenger. 805-834
- VLSI TheoryThomas Lengauer. 835-868
- Methods and Logics for Proving ProgramsPatrick Cousot. 841-994
- Parallel Algorithms for Shared-Memory MachinesRichard M. Karp, Vijaya Ramachandran. 869-942
- General Purpose Parallel ArchitecturesLeslie G. Valiant. 943-972
- Temporal and Modal LogicE. Allen Emerson. 995-1072
- Elements of Relational Database TheoryParis C. Kanellakis. 1073-1156
- Distributed Computing: Models and MethodsLeslie Lamport, Nancy A. Lynch. 1157-1199
- Operational and Algebraic Semantics of Concurrent ProcessesRobin Milner. 1201-1242