Bounds for the quantifier depth in two-variable logic

CoRR, 2012.

Cited by: 0|Bibtex|Views1|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments