TY  - CONF

T1  - Parameterized complexity of propositional inclusion and independence logic

JO  - Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

UR  - https://eprints.whiterose.ac.uk/id/eprint/201297

PY  - 2023/08/29

AU  - Mahmood Y

AU  - Virtema J

ED  - Hansen HH

ED  - Scedrov A

ED  - de Queiroz RJGB

DO  - DOI: 10.1007/978-3-031-39784-4_17

PB  - Springer Cham

SN  - 9783031397837

VL  - LNCS 13923

SP  - 274

EP  - 291

Y2  - 2025/12/16

ER  -