3571 search results - page 181 / 715 » Cohen and Set Theory |
199
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
145
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
The known methods for constructing complete sets of mutually orthogonal frequency squares all yield one of two parameter sets. We show that almost all these constructions can be d...
200
click to vote
TYPES
1998
Springer
15 years 10 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
166
click to vote
SIGECOM
2005
ACM
16 years 4 days ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...
165
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...