[go: up one dir, main page]
Follow
Joshua Bax
Joshua Bax
Engineer, Data61 CSIRO
Verified email at data61.csiro.au
Title
Cited by
Cited by
Year
Beagle–A hierarchic superposition theorem prover
P Baumgartner, J Bax, U Waldmann
International Conference on Automated Deduction, 367-377, 2015
362015
Finite quantification in hierarchic theorem proving
P Baumgartner, J Bax, U Waldmann
International Joint Conference on Automated Reasoning, 152-167, 2014
92014
Proving infinite satisfiability
P Baumgartner, J Bax
International Conference on Logic for Programming Artificial Intelligence …, 2013
32013
Disproving in First-Order Logic with Definitions, Arithmetic and Finite Domains
J Bax
PQDT-Global, 2017
2017
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories.
J Bax
PAAR@ IJCAR, 12-24, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–5