Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 03F07 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998 (1) 2001 (1) 2002 (1) 2007 (1) 2008 (2)
Publication types (Num. hits)
article(5) inproceedings(1)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(5) CSL(1)
Authors
Arnold Beckmann(1) Fernando Ferreira 0001(1) Gilda Ferreira(1) Kosta Dosen(1) Matthias Baaz(1) Pierluigi Minari(1) Richard Zach(1) Ulrich Kohlenbach(1) Zoran Petric(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 7 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
60Arnold Beckmann Resolution Refutations and Propositional Proofs with Height-Restrictions. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
27Fernando Ferreira 0001, Gilda Ferreira Harrington's conservation theorem redone. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03F35, 03F07, 03F05
27Kosta Dosen, Zoran Petric Equality of proofs for linear equality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05
27Pierluigi Minari Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05
27Ulrich Kohlenbach A note on Spector's quantifier-free rule of extensionality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F07, 03F10, 03F50, 03F35
27Matthias Baaz, Richard Zach Note on generalizing theorems in algebraically closed fields. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification:03F07, 03F20, 12L99
Displaying result #1 - #6 of 6 (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