5205 search results - page 226 / 1041 » Tilings and model theory |
AAAI
1994
14 years 2 days ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
APAL
2008
13 years 11 months ago
2008
We show that an existentially closed CSA -group is not superstable. We prove that a non-abelian superstable CSA-group has an infinite definable simple subgroup all of whose proper...
ENTCS
2006
13 years 10 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
COR
1999
13 years 10 months ago
1999
We present a selective survey of the main results obtained in spatial economic theory. Our focus is on "rm location. We start with the simplest location problem and proceed t...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...