Lower Bounds for Existential Pebble Games and k-Consistency Tests

Logical Methods in Computer Science, 2013.

Cited by: 0|Bibtex|Views7|

Code:

Data:

Your rating :
0

 

Tags
Comments