The Word Problem of ACD-Ground theories is Undecidable

Cached

Download Links

by Claude Marche
Citations:2 - 1 self