default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 133
Volume 133, Number 1, 11 October 1994
- 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. Theor. Comput. Sci. 133(1): 187-200 (1994)
Volume 133, Number 2, 24 October 1994
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
