1. (100%) Higher-Order Pattern Complement and Strict Lambda-Calculus - Alberto Momigliano
. We address the problem of complementing higher-order linear patterns, i.e. without repetitions of ...
(ps) - 31-mar-2009

2. (100%) Elimination of Negation in a Logical Framework - Alberto Momigliano
. Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae (HHF ...
(ps) - 31-mar-2009

3. (100%) Elimination of Negation in a Logical Framework - Alberto Momigliano
We address the issue of endowing a logical framework with a logically justified notion of negation. ...
(ps) - 31-mar-2009

4. (100%) A Step-to-Step Example of Negation Elimination in Hereditary Harrop Formulae - Alberto Momigliano
exp) ! exp: app : exp ! (exp ! exp): linear : exp ! o: linx : (exp ! exp) ! o: The representation fu ...
(ps) - 31-mar-2009

5. (100%) Elimination of Negation in a Logical Framework - Alberto Momigliano
Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae (HHF) ...
(ps) - 31-mar-2009

6. (100%) Towards a Logic for Reasoning about Logic Programs Transformation - Alberto Momigliano
We give a proof-theoretic analysis of logic programs transformations, viewed as operations on proof ...
(ps) - 31-mar-2009

7. (100%) Higher-Order Pattern Disuni - Alberto Momigliano
ur in the quanti cational pre x of a formula. Specialized rules are required to solve those constrai ...
(ps) - 31-mar-2009

8. (100%) Induction and Co-induction in Sequent Calculus - Alberto Momigliano
Proof search has been used to specify a wide range of computation systems.
(pdf) - 31-mar-2009

9. (100%) A Step-to-Step Example of Negation Elimination in Hereditary Harrop Formulae - Alberto Momigliano
exp) ! exp: app : exp ! (exp ! exp): linear : exp ! o: linx : (exp ! exp) ! o: The representation f ...
(application/postscript) - 23-jul-2009

10. (100%) Elimination of Negation in a Logical Framework - Alberto Momigliano
Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae (HHF) ...
(application/postscript) - 23-jul-2009

Página de resultados:
1  2  3  4  5  6  7  8  Siguiente