Complexity of Two-Variable Dependence Logic and IF-Logic

@inproceedings{Kontinen2011ComplexityOT,
  title={Complexity of Two-Variable Dependence Logic and IF-Logic},
  author={Juha Kontinen and Antti Kuusisto and Peter Lohmann and Jonni Virtema},
  booktitle={LICS},
  year={2011}
}
BETA

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

Similar Papers

Loading similar papers…