3229 search results - page 142 / 646 » Theories with the Independence Property |
110
Voted
CTCS
1987
Springer
15 years 4 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
102
click to vote
CIE
2008
Springer
15 years 2 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
ACTA
2004
15 years 20 days ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
106
Voted
AML
2002
15 years 20 days ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
88
Voted
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...