Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs133.bht:"
download as .bib file
@article{DBLP:journals/tcs/BonnerK94,
author = {Anthony J. Bonner and
Michael Kifer},
title = {An Overview of Transaction Logic},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {205--265},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90190-2},
doi = {10.1016/0304-3975(94)90190-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonnerK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CuckerSS94,
author = {Felipe Cucker and
Mike Shub and
Steve Smale},
title = {Separation of Complexity Classes in Koiran's Weak Model},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {3--14},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00069-7},
doi = {10.1016/0304-3975(94)00069-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CuckerSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DongL94,
author = {Fangqing Dong and
Laks V. S. Lakshmanan},
title = {Intuitionistic Interpretation of Deductive Databases with Incomplete
Information},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {267--306},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90191-0},
doi = {10.1016/0304-3975(94)90191-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DongL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Emerson94,
author = {T. Emerson},
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},
url = {https://doi.org/10.1016/0304-3975(94)00068-9},
doi = {10.1016/0304-3975(94)00068-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Emerson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GodinM94,
author = {Robert Godin and
Rokia Missaoui},
title = {An Incremental Concept Formation Approach for Learning from Databases},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {387--419},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90195-3},
doi = {10.1016/0304-3975(94)90195-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GodinM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Grigoriev94,
author = {Dima Grigoriev},
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},
url = {https://doi.org/10.1016/0304-3975(94)00061-1},
doi = {10.1016/0304-3975(94)00061-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Grigoriev94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Han94,
author = {Jiawei Han},
title = {Towards Efficient Induction Mechanisms in Database Systems},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {361--385},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90194-5},
doi = {10.1016/0304-3975(94)90194-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Han94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurNM94,
author = {Deepak Kapur and
Xumin Nie and
David R. Musser},
title = {An Overview of the Tecton Proof System},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {307--339},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90192-9},
doi = {10.1016/0304-3975(94)90192-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurNM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Koiran94,
author = {Pascal Koiran},
title = {Computing over the Reals with Addition and Order},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {35--47},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(93)00063-B},
doi = {10.1016/0304-3975(93)00063-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Koiran94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kurka94,
author = {Petr Kurka},
title = {Regular Unimodal Systems and Factors of Finite Automata},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {49--64},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00066-2},
doi = {10.1016/0304-3975(94)00066-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kurka94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Malajovich94,
author = {Gregorio Malajovich},
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},
url = {https://doi.org/10.1016/0304-3975(94)00065-4},
doi = {10.1016/0304-3975(94)00065-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Malajovich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Meer94,
author = {Klaus Meer},
title = {On the Complexity of Quadratic Programming in Real Number Models of
Computation},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {85--84},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00070-0},
doi = {10.1016/0304-3975(94)00070-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Meer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Michaux94,
author = {Christian Michaux},
title = {P != {NP} over the Nonstandard Reals Implies {P} != {NP} over {R}},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {95--104},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00067-0},
doi = {10.1016/0304-3975(94)00067-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Michaux94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Paterson94,
author = {Mike Paterson},
title = {David Michael Ritchie Park {(1935-1990)} in Memoriam},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {187--200},
year = {1994},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Paterson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ramanathan94,
author = {Greetha Ramanathan},
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},
url = {https://doi.org/10.1016/0304-3975(94)90193-7},
doi = {10.1016/0304-3975(94)90193-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ramanathan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rojas94,
author = {J. Maurice Rojas},
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},
url = {https://doi.org/10.1016/0304-3975(93)00062-A},
doi = {10.1016/0304-3975(93)00062-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rojas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sadri94,
author = {Fereidoon Sadri},
title = {Aggregate Operations in the Information Source Tracking Method},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {421--442},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90196-1},
doi = {10.1016/0304-3975(94)90196-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sadri94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ShubS94,
author = {Mike Shub and
Steve Smale},
title = {Complexity of Bezout's Theorem {V:} Polynomial Time},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {141--164},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90122-8},
doi = {10.1016/0304-3975(94)90122-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ShubS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VerscheldeH94,
author = {Jan Verschelde and
Ann Haegemans},
title = {Homotopies for Solving Polynomial Systems Within a Bounded Domain},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {1},
pages = {165--185},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00064-6},
doi = {10.1016/0304-3975(94)00064-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VerscheldeH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-24 23:53 CEST from data curated 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:
