Complexity of validity for propositional dependence logics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

8 Citations (Scopus)

Original language	English
Title of host publication	EPTCS 161: Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification
Pages	18-31
DOIs	https://doi.org/10.4204/EPTCS.161.5
Publication status	Published - 2014
Publication type	A4 Article in conference proceedings
Event	International Symposium on Games, Automata, Logics and Formal Verification - Duration: 1 Jan 2014 → …

Name
ISSN (Print)	2075-2180

Conference	International Symposium on Games, Automata, Logics and Formal Verification
Period	1/01/14 → …

Publication forum classification

@inproceedings{322dbaf60b664d8282ddaac49c548e2f,

title = "Complexity of validity for propositional dependence logics",

author = "Virtema Jonni",

year = "2014",

doi = "10.4204/EPTCS.161.5",

language = "English",

pages = "18--31",

booktitle = "EPTCS 161: Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification",

note = "International Symposium on Games, Automata, Logics and Formal Verification ; Conference date: 01-01-2014",

}

TY - GEN

T1 - Complexity of validity for propositional dependence logics

AU - Jonni, Virtema

PY - 2014

Y1 - 2014

U2 - 10.4204/EPTCS.161.5

DO - 10.4204/EPTCS.161.5

M3 - Conference contribution

SP - 18

EP - 31

BT - EPTCS 161: Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification

T2 - International Symposium on Games, Automata, Logics and Formal Verification

Y2 - 1 January 2014

ER -