Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2005 (1) 2007 (2) 2008 (1) 2009 (1)
Publication types (Num. hits)
article(1) inproceedings(4)
Venues (Conferences, Journals, ...)
TABLEAUX(2) CADE(1) J. Autom. Reason.(1) LPAR(1)
Authors
Christoph Kreitz(2) Frank Pfenning(2) Jens Otten(2) Sean McLaughlin(2) Thomas Raths(2) Alessandro Avellone(1) Guido Fiorino(1) Ugo Moscato(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
104Thomas Raths, Jens Otten, Christoph Kreitz The ILTP Problem Library for Intuitionistic Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ILTP, problem library, ATP, benchmarking, intuitionistic logic
68Thomas Raths, Jens Otten, Christoph Kreitz The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Alessandro Avellone, Guido Fiorino, Ugo Moscato Improvements to the Tableau Prover PITP. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Sean McLaughlin, Frank Pfenning Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Sean McLaughlin, Frank Pfenning Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (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