4573 search results - page 197 / 915 » Automated Reasoning |
121
Voted
CSL
1999
Springer
15 years 3 months ago
1999
Springer
We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one.
107
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
traction for Size-Change Termination
134
Voted
DLOG
2010
15 years 1 months ago
2010
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
102
Voted
DLOG
2010
15 years 1 months ago
2010
es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano
142
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...