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.
Lafferriere, Gerardo
Pappas, George J.
and
Yovine, Sergio
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
137.
Davoren, J. M.
1999.
Topologies, Continuity and Bisimulations.
RAIRO - Theoretical Informatics and Applications,
Vol. 33,
Issue. 4-5,
p.
357.
Weispfenning, Volker
1999.
Mixed real-integer linear quantifier elimination.
p.
129.
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,
Miller, Chris
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
4.
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.
Richter, Marcel K.
and
Wong, Kam-Chau
2000.
Definable utility in o-minimal structures.
Journal of Mathematical Economics,
Vol. 34,
Issue. 2,
p.
159.
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.
Miller, Joseph S.
2000.
Hybrid Systems: Computation and Control.
Vol. 1790,
Issue. ,
p.
296.
Libkin, Leonid
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
260.
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.
Grohe, M.
and
Segoufin, L.
2000.
On first-order topological queries.
p.
349.
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.