This extended abstract gives a construction for lifting a Gröbner basis
...
Recently, interest has been emerging in the application of symbolic
tech...
In this paper, we investigate problems which are dual to the unification...
Asymmetric unification, or unification with irreducibility constraints, ...
share