Well_Quasi_Orders Dependents
2024
2020
Extensions to the Comprehensive Framework for Saturation Theorem Proving
by Jasmin Christian Blanchette and Sophie Tourret
2015
2011
The Myhill-Nerode Theorem Based on Regular Expressions
by Chunhan Wu, Xingyuan Zhang and Christian Urban
2010
Executable Multivariate Polynomials
by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp