1322 search results - page 70 / 265 » Unsound Theorem Proving |
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
MFPS
1991
13 years 11 months ago
1991
The problem of decomposing domains into sensible factors is addressed and solved for the case of dI-domains. A decomposition theorem is proved which allows the represention of a l...
DLOG
2006
13 years 9 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
AMC
2007
13 years 7 months ago
2007
We prove several growth theorems for second-order dynamic equations on time scales. These theorems contain as special cases results for second-order differential equations, diff...