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.
Zell, Thierry
1999.
Betti numbers of semi-Pfaffian sets.
Journal of Pure and Applied Algebra,
Vol. 139,
Issue. 1-3,
p.
323.
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.
Miller, Chris
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
4.
Lafferriere, Gerardo
Pappas, George J.
and
Yovine, Sergio
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
137.
Davoren, J. M.
1999.
Hybrid Systems V.
Vol. 1567,
Issue. ,
p.
38.
Tent, Katrin
1999.
Sharply n-transitive groups in o-minimal structures.
Forum Mathematicum,
Vol. 12,
Issue. 1,
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.
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.
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.
Van den Bussche, Jan
2000.
Constraint Databases.
p.
21.
Davoren, J.M.
and
Nerode, A.
2000.
Logics for hybrid systems.
Proceedings of the IEEE,
Vol. 88,
Issue. 7,
p.
985.
Benedikt, Michael
and
Libkin, Leonid
2000.
Relational queries over interpreted structures.
Journal of the ACM,
Vol. 47,
Issue. 4,
p.
644.
Benedikt, Michael
and
Libkin, Leonid
2000.
Safe Constraint Queries.
SIAM Journal on Computing,
Vol. 29,
Issue. 5,
p.
1652.
Peterzil, Y.
Pillay, A.
and
Starchenko, S.
2000.
Definably simple groups in o-minimal structures.
Transactions of the American Mathematical Society,
Vol. 352,
Issue. 10,
p.
4397.
Grohe, M.
and
Segoufin, L.
2000.
On first-order topological queries.
p.
349.
Libkin, Leonid
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
260.