Theoretical Computer Science, Volume 133

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 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

Special Issue on Formal Methods in Databases and Software Engineering

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