Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1997 (1) 1998 (1) 2005 (1) 2006 (4) 2011 (1)
Publication types (Num. hits)
article(2) incollection(1) inproceedings(5)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(1) CADE(1) CALCO(1) CiE(1) LFMTP@FLoC(1) Prospects for Hardware Foundat...(1) Stud Logica(1) The Seventeen Provers of the W...(1)
Authors
Helmut Schwichtenberg(4) Ulrich Berger 0001(3) John K. Slaney(1) Kenji Miyamoto(1) Matthias Eberl(1) Mircea-Dan Hernest(1) Monika Seisenberger(1) Philipp Gerhardy(1) Pierre Letouzey(1) Stefan Berghofer(1) Tie Hou(1) Ulrich Kohlenbach(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
115John K. Slaney Minlog: A Minimal Logic Theorem Prover. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
87Tie Hou Coinductive Proofs for Basic Real Computation. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Real computation, Coinductive proof, Signed digit streams, Minlog, Computability
39Ulrich Berger 0001, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
39Mircea-Dan Hernest Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Helmut Schwichtenberg Minlog. Search on Bibsonomy The Seventeen Provers of the World The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg Program Extraction from Normalization Proofs. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus
25Philipp Gerhardy, Ulrich Kohlenbach Extracting Herbrand disjunctions by functional interpretation. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Herbrand’s theorem, functional interpretation
25Ulrich Berger 0001, Matthias Eberl, Helmut Schwichtenberg Normalisation by Evaluation. Search on Bibsonomy Prospects for Hardware Foundations The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (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