|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Going Polymorphic - TH1 Reasoning for Leo-III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 100-112, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Martin Suda 0001 |
Set of Support for Theory Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 124-134, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller |
Capability Discovery for Automated Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 113-118, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julio César López-Hernández, Konstantin Korovin |
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 119-123, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Boris Konev, Stephan Schulz 0001, Laurent Simon (eds.) |
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Roberto Blanco, Tomer Libal, Dale Miller 0001 |
Defining the meaning of TPTP formatted proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 78-90, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chu Min Li, Fan Xiao, Ruchu Xu |
On Reducing Clause DataBase in Glucose. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 67-77, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Armin Biere |
Clausal Proof Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 21-26, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Baudouin Le Charlier, Mêton Mêton Atindehou |
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 37-51, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Protzenko |
Functional Pearl: the Proof Search Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 91-105, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Sutcliffe, Stephan Schulz 0001 |
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 106-121, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand |
Implementing Polymorphism in Zenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 15-20, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
Improving Statistical Linguistic Algorithms for Parsing Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 27-36, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Josef Urban, Robert Veroff |
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 122-126, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 52-66, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 1-14, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin, Stephan Schulz 0001, Eugenia Ternovska (eds.) |
IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Philipp Rümmer |
Craig Interpolation for the Integers: Results, Implementation, and Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012, pp. 3, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Sutcliffe, Stephan Schulz 0001, Eugenia Ternovska (eds.) |
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Engineering Theories with Z3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012, pp. 1-2, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nik Sultana, Christoph Benzmüller |
Understanding LEO-II's proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012, pp. 33-52, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bjarne Holen, Dag Hovland, Martin Giese |
Efficient Rule-Matching for Hyper-Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012, pp. 4-17, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten |
Implementing Connection Calculi for First-order Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012, pp. 18-32, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence C. Paulson, Jasmin Christian Blanchette |
Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 1-11, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Harald Zankl, Martin Korp |
On Implementing Modular Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 42-47, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | L. Yohanes Stefanus, Ario Santoso |
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 33-41, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Alama |
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 12-16, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guido Fiorino |
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 17-32, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Klinov, Bijan Parsia |
Implementing an Efficient SAT Solver for a Probabilistic Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 48-63, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Fuhs, Peter Schneider-Kamp |
Optimizing the AES S-Box using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 64-70, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|