Soundness of Q-resolution with dependency schemes

Theor. Comput. Sci., pp. 83-101, 2016.

Cited by: 26|Bibtex|Views14|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments