Ant'onio Malheiro
发表
Alan J. Cain,
Ant'onio Malheiro,
F'abio M. Silva,
2018,
Discret. Math..
A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems
pdf
Paulo Guilherme Santos,
Ant'onio Malheiro,
António Malheiro,
2019,
ArXiv.