Expressivity and Complexity of Dependence Logic

Arnaud Durand, Juha Kontinen, Heribert Vollmer

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationDependence Logic : Theory and Applications
EditorsSamson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
Number of pages28
Place of PublicationCham
PublisherSpringer International Publishing AG
Publication dateJun 2016
ISBN (Print)978-3-319-31801-1
ISBN (Electronic)978-3-319-31803-5
Publication statusPublished - Jun 2016
MoE publication typeA3 Book chapter

Fields of Science

  • 111 Mathematics

Cite this