5205 search results - page 179 / 1041 » Tilings and model theory |
MKM
2004
Springer
14 years 3 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
ECIS
2003
13 years 11 months ago
2003
This paper proposes a study of the effects of knowledge management systems (KMS) on individual and organizational performance. The study seeks to answer the following question: Wh...
WSC
1997
13 years 11 months ago
1997
The paper is devoted to a brief review of a mathematical theory for the branching variance-reduction technique. The branching technique is an extension of von Neumann’s splittin...
ACS
2007
13 years 10 months ago
2007
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
APAL
2000
13 years 10 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...