9370 search results - page 152 / 1874 » An Abstract Notion of Application |
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
JANCL
2000
15 years 24 days ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
100
Voted
JSYML
2002
15 years 20 days ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
126
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. In the first part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...