|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mark Adams |
The Common HOL Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 42-56, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Assaf 0002, Raphaël Cauderlier |
Mixing HOL and Coq in Dedukti (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 89-96, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Cauderlier, Pierre Halmagrand |
Checking Zenon Modulo Proofs in Dedukti. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 57-73, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giselle Reis |
Importing SMT and Connection proofs as expansion trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 3-10, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Assaf 0002, Guillaume Burel |
Translating HOL to Dedukti. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 74-88, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Andrei Paskevich (eds.) |
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Heath, Dale Miller 0001 |
A framework for proof certificates in finite state exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 11-26, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Maximilian Claus, Nik Sultana |
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 27-41, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Josef Urban (eds.) |
Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas C. Hales |
External Tools for the Formal Proof of the Kepler Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 1, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Juilf Smolka, Jasmin Christian Blanchette |
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 117-132, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramana Kumar |
Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 110-116, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chantal Keller |
Extended Resolution as Certificates for Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 96-109, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nada Habli, Amy P. Felty |
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 67-76, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette |
Redirecting Proofs by Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 11-26, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Thomas Sternagel |
Initial Experiments on Deriving a Complete HOL Simplification Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 77-86, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban |
Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 87-95, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Burel |
A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 43-57, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zakaria Chihani, Dale Miller 0001, Fabien Renaud |
Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 58-66, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Nik Sultana |
LEO-II Version 1.5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 2-10, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chad E. Brown, Christine Rizkallah |
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 27-42, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|