Sciweavers

Share
132 search results - page 1 / 27
» Declarative Representation of Proof Terms
Sort
View
JAR
2010
160views more  JAR 2010»
9 years 7 months ago
Declarative Representation of Proof Terms
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
Claudio Sacerdoti Coen
JAR
2010
108views more  JAR 2010»
9 years 7 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi
CSL
2010
Springer
9 years 10 months ago
A Sequent Calculus with Implicit Term Representation
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
Stefan Hetzl
ARITH
2003
IEEE
10 years 1 months ago
Representable Correcting Terms for Possibly Underflowing Floating Point Operations
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
Sylvie Boldo, Marc Daumas
DALT
2004
Springer
10 years 2 months ago
Representational Content and the Reciprocal Interplay of Agent and Environment
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
books