Inproceedings,

A Parameterized View on the Complexity of Dependence Logic

, , and .
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, page 125--142. (2022)
DOI: 10.1007/978-3-030-93100-1\_9

Meta data

Tags

Users

  • @dice-research
  • @dblp

Comments and Reviews