Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Houtmann, Clément"'
Autor:
Houtmann, Clément
Cette thèse propose et étudie de nouveaux systèmes déductifs mêlant calculs et déductions. La déduction modulo est un premier formalisme qui traduit un pouvoir calculatoire grâce à un système de réécriture. Nous présentons un paradigme d
Externí odkaz:
http://www.theses.fr/2010NAN10026/document
Autor:
Houtmann, Clément
Publikováno v:
EPTCS 47, 2011, pp. 34-43
Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and
Externí odkaz:
http://arxiv.org/abs/1101.5443
Publikováno v:
In Electronic Notes in Theoretical Computer Science 28 July 2007 176(4):95-111
Autor:
Houtmann, Clément
Publikováno v:
Types for Proofs & Programs (9783642024436); 2009, p169-185, 17p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Comon-Lundh, Hubert, Kirchner, Claude, Kirchner, Hélène, Brauner, Paul, Houtmann, Clément
Publikováno v:
Rewriting, Computation & Proof; 2007, p132-166, 35p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.