Complexity of two-variable dependence logic and IF-logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema. Complexity of two-variable dependence logic and IF-logic. Inf. Comput., 239:237-253, 2014. [doi]

Authors

Juha Kontinen

This author has not been identified. Look up 'Juha Kontinen' in Google

Antti Kuusisto

This author has not been identified. Look up 'Antti Kuusisto' in Google

Peter Lohmann

This author has not been identified. Look up 'Peter Lohmann' in Google

Jonni Virtema

This author has not been identified. Look up 'Jonni Virtema' in Google