1998
A resolution decision procedure for the guarded fragment
Publication
Publication
Presented at the
Automated deduction, Lindau
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
Automated deduction | |
de Nivelle, H. (1998). A resolution decision procedure for the guarded fragment. In Proceedings of Automated deduction 1998 (15) (pp. 191–204). Springer. |