- Felipe Cucker, Mike Shub, Steve Smale: Separation of Complexity Classes in Koiran's Weak Model. 3-14 BibTeX
- T. Emerson: Relativizations of the P=?NP Question over the Reals (and other Ordered Rings). 15-22 BibTeX
- Dima Grigoriev: Deviation Theorems for Solutions of Differential Equations and Applications to Lower Bounds on Parallel Complexity of Sigmoids. 23-33 BibTeX
- Pascal Koiran: Computing over the Reals with Addition and Order. 35-47 BibTeX
- Petr Kurka: Regular Unimodal Systems and Factors of Finite Automata. 49-64 BibTeX
- Gregorio Malajovich: On Generalized Newton Algorithms: Quadratic Convergence, Path-Following and Error Analysis. 65-84 BibTeX
- Klaus Meer: On the Complexity of Quadratic Programming in Real Number Models of Computation. 85-84 BibTeX
- Christian Michaux: P != NP over the Nonstandard Reals Implies P != NP over R. 95-104 BibTeX
- J. Maurice Rojas: A Convex Geometric Approach to Counting the Roots of a Polynomial System. 105-140 BibTeX
- Mike Shub, Steve Smale: Complexity of Bezout's Theorem V: Polynomial Time. 141-164 BibTeX
- Jan Verschelde, Ann Haegemans: Homotopies for Solving Polynomial Systems Within a Bounded Domain. 165-185 BibTeX
- Mike Paterson: David Michael Ritchie Park (1935-1990) in Memoriam. 187-200 BibTeX

- Anthony J. Bonner, Michael Kifer: An Overview of Transaction Logic. 205-265 BibTeX
- Fangqing Dong, Laks V. S. Lakshmanan: Intuitionistic Interpretation of Deductive Databases with Incomplete Information. 267-306 BibTeX
- Deepak Kapur, Xumin Nie, David R. Musser: An Overview of the Tecton Proof System. 307-339 BibTeX
- Greetha Ramanathan: Refinement of Events in the Development of Real-Time Distributed Systems. 341-359 BibTeX
- Jiawei Han: Towards Efficient Induction Mechanisms in Database Systems. 361-385 BibTeX
- Robert Godin, Rokia Missaoui: An Incremental Concept Formation Approach for Learning from Databases. 387-419 BibTeX
- Fereidoon Sadri: Aggregate Operations in the Information Source Tracking Method. 421-442 BibTeX