Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Speissegger, P.
1995.
Fiberwise properties of definable sets and functions in o-minimal structures.
Manuscripta Mathematica,
Vol. 86,
Issue. 1,
p.
283.
Henson, C. Ward
1997.
Nonstandard Analysis.
p.
1.
Benedikt, Michael
and
Libkin, Leonid
1999.
Exact and approximate aggregation in constraint query languages.
p.
102.
Weispfenning, Volker
1999.
Mixed real-integer linear quantifier elimination.
p.
129.
Lafferriere, Gerardo
Pappas, George J.
and
Yovine, Sergio
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
137.
Tent, Katrin
1999.
Sharply n-transitive groups in o-minimal structures.
Forum Mathematicum,
Vol. 12,
Issue. 1,
Zell, Thierry
1999.
Betti numbers of semi-Pfaffian sets.
Journal of Pure and Applied Algebra,
Vol. 139,
Issue. 1-3,
p.
323.
Miller, Chris
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
4.
Davoren, J. M.
1999.
Hybrid Systems V.
Vol. 1567,
Issue. ,
p.
38.
Davoren, J. M.
1999.
Topologies, Continuity and Bisimulations.
RAIRO - Theoretical Informatics and Applications,
Vol. 33,
Issue. 4-5,
p.
357.
Miller, Joseph S.
2000.
Hybrid Systems: Computation and Control.
Vol. 1790,
Issue. ,
p.
296.
Van den Bussche, Jan
2000.
Constraint Databases.
p.
21.
Libkin, Leonid
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
260.
Middleditch, A. E.
and
Reade, C. M. P.
2000.
Improvements for the Djinn API to a Geometric Modelling Kernel.
International Journal of Shape Modeling,
Vol. 06,
Issue. 01,
p.
79.
Peterzil, Ya’acov
Pillay, Anand
and
Starchenko, Sergei
2000.
Simple algebraic and semialgebraic groups over real closed fields.
Transactions of the American Mathematical Society,
Vol. 352,
Issue. 10,
p.
4421.
Davoren, J.M.
and
Nerode, A.
2000.
Logics for hybrid systems.
Proceedings of the IEEE,
Vol. 88,
Issue. 7,
p.
985.
Richter, Marcel K.
and
Wong, Kam-Chau
2000.
Definable utility in o-minimal structures.
Journal of Mathematical Economics,
Vol. 34,
Issue. 2,
p.
159.
Grohe, M.
and
Segoufin, L.
2000.
On first-order topological queries.
p.
349.
Benedikt, Michael
and
Libkin, Leonid
2000.
Safe Constraint Queries.
SIAM Journal on Computing,
Vol. 29,
Issue. 5,
p.
1652.
Alur, R.
Henzinger, T.A.
Lafferriere, G.
and
Pappas, G.J.
2000.
Discrete abstractions of hybrid systems.
Proceedings of the IEEE,
Vol. 88,
Issue. 7,
p.
971.