Conditional Congruence Closure over Uninterpreted and Interpreted Symbols
KAPUR Deepak
Journal of Systems Science & Complexity ›› 2019, Vol. 32 ›› Issue (1) : 317-355.
Conditional Congruence Closure over Uninterpreted and Interpreted Symbols
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |