Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase proof-graphs (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2009-2023 (11)
Publication types (Num. hits)
article(2) inproceedings(9)
Venues (Conferences, Journals, ...)
CONCUR(1) CP(1) DCM(1) Fundam. Informaticae(1) IJCAI(1) LFMTP@FSCD(1) Log. J. IGPL(1) LSFA(1) WEIT(1) WoLLIC(1) WPTE@FSCD(1)
Authors
Anjolina Grisi de Oliveira(3) Ruy J. G. B. de Queiroz(3) Edward Hermann Haeusler(2) Gleifer V. Alves(2) Lew Gordeev(2) Marcela Quispe-Cruz(2) Bas Luttik(1) Brandon Rozek(1) Daniel Vaz dos Santos(1) Gleifer Vaz Alves(1) Hiroyuki Seki(1) James T. Oswald(1) Laurent Simon(1) Lucas Fernando Souza de Castro(1) Masahiko Sakai(1) Michael Buro(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
18Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF proof-graphs, multiple conclusion, normalization, cycles, proof theory
12James T. Oswald, Brandon Rozek Parallel Verification of Natural Deduction Proof Graphs. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz Propositional intuitionistic multiple-conclusion calculus via proof graphs. Search on Bibsonomy Log. J. IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Rohan Fossé, Laurent Simon On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. Search on Bibsonomy WPTE@FSCD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev On Strong Normalization in Proof-Graphs for Propositional Logic. Search on Bibsonomy LSFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev Proof-graphs for Minimal Implicational Logic. Search on Bibsonomy DCM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
12Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse Proof Graphs for Parameterised Boolean Equation Systems. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
12Daniel Vaz dos Santos, Lucas Fernando Souza de Castro, Gleifer Vaz Alves N-GraphML: Language and Formal Grammar for Proof-Graphs. Search on Bibsonomy WEIT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
12Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Timothy Furtak, Michael Buro Minimum Proof Graphs and Fastest-Cut-First Search Heuristics. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (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