Similar Items: Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
- Hilbert's Tenth Problem in Coq (Extended Version)
- Generic algorithms for halting problem and optimal machines revisited
- The Algebraic Intersection Type Unification Problem
- Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
- Categorical composable cryptography: extended version
- On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry