Propositional formula - Document - PDFSEARCH.IO

First Page	Meta Content
	Complexity of two-variable Dependence Logic and IF-Logic∗ Juha Kontinen†, Antti Kuusisto‡, Peter Lohmann§, Jonni Virtema‡ arXiv:1104.3148v1 [cs.LO] 15 Apr 2011 Add to Reading List Document Date: 2011-04-18 20:30:56 Open Document File Size: 493,38 KB Share Result on Facebook

UPDATE

Complexity of two-variable Dependence Logic and IF-Logic∗ Juha Kontinen†, Antti Kuusisto‡, Peter Lohmann§, Jonni Virtema‡ arXiv:1104.3148v1 [cs.LO] 15 Apr 2011Add to Reading List