Dudenhefner, A. (2022). Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).
Citazione stile Chigago Style (17a edizione)Dudenhefner, Andrej. Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). 2022.
Citatione MLA (9a ed.)Dudenhefner, Andrej. Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). 2022.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.