Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms
by Alexander Bentkamp
Alexander Bentkamp
2018
2016
2015
2010
Executable Multivariate Polynomials
by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp