TY  - CONF

T1  - Parameterized Complexity of Propositional Inclusion and Independence Logic

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

PY  - 2023/05/15

AU  - Mahmood Y

AU  - Virtema J

ED  - 

Y2  - 2024/12/22

ER  -