Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for superdeduction with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2007 (2) 2008 (2) 2010 (2) 2012 (1) 2015 (2)
Publication types (Num. hits)
article(2) inproceedings(6) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(2) LICS(2) CL&C(1) IJCAR(1) Rewriting, Computation and Pro...(1) TYPES(1)
Authors
Clément Houtmann(5) David Delahaye(3) Mélanie Jacquel(3) Catherine Dubois(2) Claude Kirchner(2) Karim Berkani(2) Paul Brauner(2) Guillaume Burel(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
248Clément Houtmann Axiom Directed Focusing. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF superdeduction, Proof theory, focusing, deduction modulo
114Guillaume Burel A First-Order Representation of Pure Type Systems Using Superdeduction. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo
114Paul Brauner, Clément Houtmann, Claude Kirchner Principles of Superdeduction. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
88Paul Brauner, Clément Houtmann, Claude Kirchner Superdeduction at Work. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Clément Houtmann Représentation et interaction des preuves en superdéduction modulo. (Representation and interaction of proofs in superdeduction modulo). Search on Bibsonomy 2010   RDF
35Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois Tableaux Modulo Theories Using Superdeduction. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
35David Delahaye, Mélanie Jacquel Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
35Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Clément Houtmann Superdeduction in Lambda-Bar-Mu-Mu-Tilde Search on Bibsonomy CL&C The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license