Joshua Bax
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2013–2015
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CADE | Beagle - A Hierarchic Superposition Theorem Prover. | Peter Baumgartner, Joshua Bax, Uwe Waldmann |
| 2014 | CADE | Finite Quantification in Hierarchic Theorem Proving. | Peter Baumgartner, Joshua Bax, Uwe Waldmann |
| 2014 | CADE | A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories. | Joshua Bax |
| 2013 | LPAR | Proving Infinite Satisfiability. | Peter Baumgartner, Joshua Bax |