Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1998 (2) 2001 (4) 2007 (1) 2008 (2)
Publication types (Num. hits)
article(8) inproceedings(1)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(8) Proof Theory in Computer Scien...(1)
Authors
Kosta Dosen(2) Zoran Petric(2) Birgit Elbl(1) Fernando Ferreira 0001(1) Gilda Ferreira(1) Jan von Plato(1) Lev D. Beklemishev(1) Masahiro Hamano(1) Mitsuhiro Okada(1) Pierluigi Minari(1) Wilfried Buchholz(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 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
59Kosta Dosen, Zoran Petric Coherent Bicartesian and Sesquicartesian Categories. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
26Fernando 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
26Kosta 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
26Pierluigi 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
26Birgit Elbl Cut elimination for a calculus with context-dependent rules. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55
26Wilfried Buchholz Explaining the Gentzen-Takeuti reduction steps: a second-order system. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F05, 03F15
26Jan von Plato Natural deduction with general elimination rules. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F05
26Masahiro Hamano, Mitsuhiro Okada A direct independence proof of Buchholz's Hydra Game on finite labeled trees. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification: 03F03, 03F35, 03F05
26Lev D. Beklemishev A proof-theoretic analysis of collection. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): Primary: 03F30, Secondary: 03F05, 03D20
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