3776 search results - page 163 / 756 » Partition-Based Logical Reasoning |
93
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
KR
2004
Springer
15 years 9 months ago
2004
Springer
78
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
125
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
129
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...