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.
Tent, Katrin
1999.
Sharply n-transitive groups in o-minimal structures.
Forum Mathematicum,
Vol. 12,
Issue. 1,
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.
Benedikt, Michael
and
Libkin, Leonid
1999.
Exact and approximate aggregation in constraint query languages.
p.
102.
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.
Richter, Marcel K.
and
Wong, Kam-Chau
2000.
Definable utility in o-minimal structures.
Journal of Mathematical Economics,
Vol. 34,
Issue. 2,
p.
159.
Miller, Joseph S.
2000.
Hybrid Systems: Computation and Control.
Vol. 1790,
Issue. ,
p.
296.
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.
Libkin, Leonid
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
260.
Grohe, M.
and
Segoufin, L.
2000.
On first-order topological queries.
p.
349.
Benedikt, Michael
and
Libkin, Leonid
2000.
Relational queries over interpreted structures.
Journal of the ACM,
Vol. 47,
Issue. 4,
p.
644.
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.
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.