![](/img/cover-not-exists.png)
Decidability of ∀*∀-Sentences in Membership Theories
Eugenio G. Omodeo, Franco Parlamento, Alberto PolicritiVolume:
42
Year:
1996
Language:
english
Pages:
18
DOI:
10.1002/malq.19960420105
File:
PDF, 1007 KB
english, 1996