On the complexity of the decision problem in propositional nonmonotonic logic

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

1 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	CSL 1988
Alaotsikko	2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988. Proceedings
Toimittajat	Egon Börger, Hans Kleine Büning, Michael M. Richter
Kustantaja	Springer
Sivut	226-239
Sivumäärä	14
ISBN (elektroninen)	978-3-540-46736-6
ISBN (painettu)	978-3-540-51659-0
DOI - pysyväislinkit	https://doi.org/10.1007/BFb0026304
Tila	Julkaistu - 1989
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer Berlin Heidelberg
Vuosikerta	385
ISSN (painettu)	0302-9743

Pääsy asiakirjaan

Niemelä, I. (1989). On the complexity of the decision problem in propositional nonmonotonic logic. teoksessa E. Börger, H. Kleine Büning, & M. M. Richter (Toimittajat), CSL 1988 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988. Proceedings (Sivut 226-239). (Lecture Notes in Computer Science ; Vuosikerta 385). Springer. https://doi.org/10.1007/BFb0026304

@inproceedings{9231b033253c40a19ec59ce6eae07fc9,

title = "On the complexity of the decision problem in propositional nonmonotonic logic",

author = "Ilkka Niemel{\"a}",

year = "1989",

doi = "10.1007/BFb0026304",

language = "English",

isbn = "978-3-540-51659-0",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "226--239",

editor = "Egon B{\"o}rger and \{Kleine B{\"u}ning\}, Hans and Richter, \{Michael M.\}",

booktitle = "CSL 1988",

address = "Germany",

}

On the complexity of the decision problem in propositional nonmonotonic logic. / Niemelä, Ilkka.
CSL 1988 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988. Proceedings. toim. / Egon Börger; Hans Kleine Büning; Michael M. Richter. Springer, 1989. s. 226-239 (Lecture Notes in Computer Science ; Vuosikerta 385).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - On the complexity of the decision problem in propositional nonmonotonic logic

AU - Niemelä, Ilkka

PY - 1989

Y1 - 1989

U2 - 10.1007/BFb0026304

DO - 10.1007/BFb0026304

M3 - Conference article in proceedings

SN - 978-3-540-51659-0

T3 - Lecture Notes in Computer Science

SP - 226

EP - 239

BT - CSL 1988

A2 - Börger, Egon

A2 - Kleine Büning, Hans

A2 - Richter, Michael M.

PB - Springer

ER -