Simulating Parity Reasoning

Tero Laitinen; Tommi Junttila; Ilkka Niemelä

doi:10.1007/978-3-642-45221-5_38

Simulating Parity Reasoning

Tero Laitinen, Tommi Junttila, Ilkka Niemelä

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

1 Citation (Scopus)

Original language	English
Title of host publication	19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013
Publisher	Springer
Pages	568-583
ISBN (Electronic)	978-3-642-45221-5
ISBN (Print)	978-3-642-45220-8
DOIs	https://doi.org/10.1007/978-3-642-45221-5_38
Publication status	Published - 2013
MoE publication type	A4 Conference publication

Publication series

Name	Lecture Notes in Computer Science
Volume	8312

Access to Document

10.1007/978-3-642-45221-5_38

OpenUrl availability

Full text

Cite this

@inproceedings{10409427fac34217ac3701c752b321c4,

title = "Simulating Parity Reasoning",

author = "Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}",

note = "VK: coin hiit logic",

year = "2013",

doi = "10.1007/978-3-642-45221-5_38",

language = "English",

isbn = "978-3-642-45220-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "568--583",

booktitle = "19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013",

address = "Germany",

}

Simulating Parity Reasoning. / Laitinen, Tero; Junttila, Tommi ; Niemelä, Ilkka.
19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013. Springer, 2013. p. 568-583 (Lecture Notes in Computer Science; Vol. 8312).

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

TY - GEN

T1 - Simulating Parity Reasoning

AU - Laitinen, Tero

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - VK: coin hiit logic

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-45221-5_38

DO - 10.1007/978-3-642-45221-5_38

M3 - Conference contribution

SN - 978-3-642-45220-8

T3 - Lecture Notes in Computer Science

SP - 568

EP - 583

BT - 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013

PB - Springer

ER -