|
|
Venues (Conferences, Journals, ...)
|
|
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 |
59 | Kosta Dosen, Zoran Petric |
Coherent Bicartesian and Sesquicartesian Categories. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05 |
26 | Fernando Ferreira 0001, Gilda Ferreira |
Harrington's conservation theorem redone. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F35, 03F07, 03F05 |
26 | Kosta Dosen, Zoran Petric |
Equality of proofs for linear equality. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05 |
26 | Pierluigi Minari |
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05 |
26 | Birgit Elbl |
Cut elimination for a calculus with context-dependent rules. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55 |
26 | Wilfried Buchholz |
Explaining the Gentzen-Takeuti reduction steps: a second-order system. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03F05, 03F15 |
26 | Jan von Plato |
Natural deduction with general elimination rules. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03F05 |
26 | Masahiro Hamano, Mitsuhiro Okada |
A direct independence proof of Buchholz's Hydra Game on finite labeled trees. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification: 03F03, 03F35, 03F05 |
26 | Lev D. Beklemishev |
A proof-theoretic analysis of collection. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991): Primary: 03F30, Secondary: 03F05, 03D20 |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|