交叉引用引用
这本书已经以下出版物引用。此列表是根据提供的数据生成的交叉参考.
斯皮塞格，P。1995o-极小结构中可定义集和函数的纤维性质.数学手稿，第86卷，发布。1,第页。283
Henson，C.沃德1997非标准分析.第页。1
迈克尔·本尼迪克特和利奥尼德·利金1999约束查询语言中的精确和近似聚合.第页。102
沃尔克·魏斯芬宁1999混合实整数线性量词消除.第页。129
J.M.达沃伦。1999拓扑、连续性和互模拟.RAIRO-理论信息学与应用，第33卷，发布。4-5,第页。357
杰拉尔多·拉弗里尔乔治·帕帕斯。和塞尔吉奥·尤文1999混合系统：计算与控制.第1569卷，问题，第页。137
克里斯·米勒1999混合系统：计算与控制.第1569卷，问题，第页。4
帐篷，凯特琳1999o-极小结构中的尖锐n-传递群.数学论坛，第12卷，发布。1,
J.M.达沃伦。1999混合动力系统V.第1567卷，问题，第页。38
蒂埃里·泽尔1999半Pfaffian集的Betti数.纯粹与应用代数杂志，第139卷，发布。1-3中，第页。323
迈克尔·本尼迪克特和利奥尼德·利金2000解释结构上的关系查询.美国医学会杂志，第47卷，发布。4,第页。644
Van den Bussche，简2000约束数据库.第页。21
阿鲁尔，R。T.A.亨廷格。G·拉费里尔。和G.J.帕帕斯。2000混合系统的离散抽象.IEEE会议记录，第88卷，发布。7,第页。971
彼得齐尔，Y。A.皮莱。和Starchenko，S。2000o-极小结构中的可定义简单群.美国数学学会学报，第352卷，发布。10,第页。4397
利奥尼德·利金2000自动机、语言和编程.第1853卷，问题，第页。260
达沃伦，J.M。和Nerode，A。2000混合系统的逻辑.IEEE会议记录，第88卷，发布。7,第页。985
米德尔迪奇，A.E。和里德，C.M.P。2000Djinn API对几何建模内核的改进.国际形状建模杂志，第6卷，发布。01,第页。79
Joseph S.米勒。2000混合系统：计算与控制.第1790卷，问题，第页。296
马塞尔·里希特（Marcel K.Richter）。和Kam-Chau Wong2000o-极小结构中的可定义效用.数学经济学杂志，第34卷，发布。2,第页。159
迈克尔·本尼迪克特和利奥尼德·利金2000安全约束查询.SIAM计算机杂志，第29卷，发布。5,第页。1652
