Univ.-Prof. Dr. Aart Middeldorp   

Hydra Battles and AC Termination

Nao Hirokawa and Aart Middeldorp
Logical Methods in Computer Science 21(2), pp. 29:1 – 29:22, 2025

abstract   bibtex   pdf   doi:10.46298/lmcs-21(2:29)2025