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.
Davoren, J. M.
1999.
Topologies, Continuity and Bisimulations.
RAIRO - Theoretical Informatics and Applications,
Vol. 33,
Issue. 4-5,
p.
357.
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.
Weispfenning, Volker
1999.
Mixed real-integer linear quantifier elimination.
p.
129.
Miller, Chris
1999.
Hybrid Systems: Computation and Control.
Vol. 1569,
Issue. ,
p.
4.
Tent, Katrin
1999.
Sharply n-transitive groups in o-minimal structures.
Forum Mathematicum,
Vol. 12,
Issue. 1,
Davoren, J. M.
1999.
Hybrid Systems V.
Vol. 1567,
Issue. ,
p.
38.
Libkin, Leonid
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
260.
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.
Davoren, J.M.
and
Nerode, A.
2000.
Logics for hybrid systems.
Proceedings of the IEEE,
Vol. 88,
Issue. 7,
p.
985.
Miller, Joseph S.
2000.
Hybrid Systems: Computation and Control.
Vol. 1790,
Issue. ,
p.
296.
Benedikt, Michael
and
Libkin, Leonid
2000.
Relational queries over interpreted structures.
Journal of the ACM,
Vol. 47,
Issue. 4,
p.
644.
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.
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.
Van den Bussche, Jan
2000.
Constraint Databases.
p.
21.
Benedikt, Michael
and
Libkin, Leonid
2000.
Safe Constraint Queries.
SIAM Journal on Computing,
Vol. 29,
Issue. 5,
p.
1652.