Undecidable properties of flat term rewr
✍
Guillem Godoy; Hugo Hernández
📂
Article
📅
2009
🏛
Springer
🌐
English
⚖ 234 KB