556 search results - page 9 / 112 » Generic Properties of Datatypes |
JSYML
2002
13 years 7 months ago
2002
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
APAL
2000
13 years 7 months ago
2000
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...
SAS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
ASIACRYPT
2006
Springer
13 years 11 months ago
2006
Springer
EUC
2008
Springer
13 years 9 months ago
2008
Springer
