Volume 133, Number 1, 11 October 1994

Selected Papers of the Workshop on Continuous Algorithms and Complexity, Barcelona, Spain, Octobert 1993

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

Volume 133, Number 2, 24 October 1994

Special Issue on Formal Methods in Databases and Software Engineering

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