@article{Cucker-Shub-Smale/94,
AUTHOR = {Cucker, F. and Shub, M. and Smale, S.},
TITLE = {Separation of complexity classes in Koiran's weak model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {3-14},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Emerson/94,
AUTHOR = {Emerson, T.},
TITLE = {Relativizations of the $P=? NP$ question over the reals (and other ordered rings)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {15-22},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Grigoriev/94,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Deviation theorems for solutions of differential equations and applications to lower bounds on parallel complexity of sigmoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {23-33},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Koiran/94,
AUTHOR = {Koiran, P.},
TITLE = {Computing over the reals with addition and order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {35-47},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kurka/94,
AUTHOR = {K{\r{u}}rka, Petr},
TITLE = {Regular unimodal systems and factors of finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {49-64},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Malajovich/94,
AUTHOR = {Malajovich, Gregorio},
TITLE = {On generalized Newton algorithms: Quadratic convergence, path-following and error analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {65-84},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Meer/94a,
AUTHOR = {Meer, K.},
TITLE = {On the complexity of quadratic programming in real number models of computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {85-94},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Michaux/94,
AUTHOR = {Michaux, Christian},
TITLE = {$P \neq NP$ over the nonstandard reals implies $P \neq NP$ over $R$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {95-104},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Rojas/94,
AUTHOR = {Rojas, J. Maurice},
TITLE = {A convex geometric approach to counting the roots of a polynomial system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {105-140},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Shub-Smale/94a,
AUTHOR = {Shub, M. and Smale, S.},
TITLE = {Complexity of Bezout's theorem V: Polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {141-164},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Verschelde-Haegemans/94,
AUTHOR = {Verschelde, Jan and Haegemans, Ann},
TITLE = {Homotopies for solving polynomial systems within a bounded domain},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {1},
PAGES = {165-185},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bonner-Kifer/94,
AUTHOR = {Bonner, Anthony J. and Kifer, Michael},
TITLE = {An overview of transaction logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {205-265},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dong-Lakshmanan/94,
AUTHOR = {Dong, Fangqing and Lakshmanan, Laks V.S.},
TITLE = {Intuitionistic interpretation of deductive databases with incomplete information},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {267-306},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kapur-Nie-Musser/94,
AUTHOR = {Kapur, D. and Nie, X. and Musser, D.R.},
TITLE = {An overview of the Tecton proof system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {307-339},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ramanathan/94,
AUTHOR = {Ramanathan, Geetha},
TITLE = {Refinement of events in the development of real-time distributed systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {341-359},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Han/94,
AUTHOR = {Han, Jiawei},
TITLE = {Towards efficient induction mechanisms in database systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {361-385},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Godin-Missaoui/94,
AUTHOR = {Godin, Robert and Missaoui, Rokia},
TITLE = {An incremental concept formation approach for learning from databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {387-419},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sadri/94,
AUTHOR = {Sadri, Fereidoon},
TITLE = {Aggregate operations in the information source tracking method},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {133},
NUMBER = {2},
PAGES = {421-442},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}