556 search results - page 9 / 112 » Generic Properties of Datatypes |
JSYML
2002
14 years 12 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
15 years 3 days 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
15 years 5 months 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
15 years 4 months ago
2006
Springer
78
Voted
EUC
2008
Springer
15 years 2 months ago
2008
Springer
