About this scholarly article

2011 IEEE 26th Annual Symposium on Logic in Computer Science - Complexity of Two-Variable Dependence Logic and IF-Logic by Kontinen, Juha; Kuusisto, Antti; Lohmann, Peter; Virtema, Jonni is a scholarly article available to read on EtoBox.

Author

Kontinen, Juha; Kuusisto, Antti; Lohmann, Peter; Virtema, Jonni

Publisher

IEEE

Published

2011