Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AReCCa@TABLEAUX"( http://dblp.L3S.de/Venues/AReCCa@TABLEAUX )

URL (DBLP): http://dblp.uni-trier.de/db/conf/arecca

Publication years (Num. hits)
2023 (10) 2024 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
AReCCa@TABLEAUX(11)
Authors
Jens Otten(4) Sean B. Holden(3) Wolfgang Bibel(2) Christoph Wernhard(1) Clemens Eisenhofer(1) Fredrik Rømming(1) Laura Kovács(1) Leo Repp(1) Mario Frank 0002(1) Michael Färber 0002(1) Michael Rawson 0001(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jens Otten, Wolfgang Bibel (eds.) Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2024 DBLP  BibTeX  RDF
1 Preface. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Leo Repp, Mario Frank 0002 nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Sean B. Holden Connect++: A New Automated Theorem Prover Based on the Connection Calculus. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Jens Otten, Sean B. Holden A Syntax for Connection Proofs. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Wolfgang Bibel Comparison of Proof Methods. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Clemens Eisenhofer, Laura Kovács, Michael Rawson 0001 Embedding the Connection Calculus in Satisfiability Modulo Theories. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Christoph Wernhard Structure-Generating First-Order Theorem Proving. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Jens Otten 20 Years of leanCoP - An Overview of the Provers. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Fredrik Rømming, Jens Otten, Sean B. Holden Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
1Michael Färber 0002 A Curiously Effective Backtracking Strategy for Connection Tableaux. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 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