Complexity of validity for propositional dependence logics

Virtema Jonni

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

8 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	EPTCS 161: Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification
Sivut	18-31
DOI - pysyväislinkit	https://doi.org/10.4204/EPTCS.161.5
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Symposium on Games, Automata, Logics and Formal Verification - Kesto: 1 tammik. 2014 → …

Nimi
ISSN (painettu)	2075-2180

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

Julkaisufoorumi-taso

@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 -