Ground Associative and Commutative Completion Modulo Shostak Theories

LPAR short papers(Yogyakarta), pp. 35-40, 2010.

Cited by: 0|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments