Automated Reasoning About Key Sets

Miika Hannula, Sebastian Link

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationAutomated Reasoning : 9th International Joint Conference, IJCAR 2018
EditorsDidier Galmiche, Stephan Schulz, Roberto Sebastiani
PublisherSpringer
Publication date2018
Pages47-63
ISBN (Print)978-3-319-94204-9
ISBN (Electronic)978-3-319-94205-6
DOIs
Publication statusPublished - 2018
Externally publishedYes
MoE publication typeA4 Article in conference proceedings
Event9th International Joint Conference, IJCAR 2018: Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom
Duration: 14 Jul 201817 Jul 2018
Conference number: 9

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
Volume10900
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fields of Science

  • 111 Mathematics

Cite this

Hannula, M., & Link, S. (2018). Automated Reasoning About Key Sets. In D. Galmiche, S. Schulz, & R. Sebastiani (Eds.), Automated Reasoning: 9th International Joint Conference, IJCAR 2018 (pp. 47-63). (Lecture Notes in Computer Science; Vol. 10900). Springer. https://doi.org/10.1007/978-3-319-94205-6_4
Hannula, Miika ; Link, Sebastian. / Automated Reasoning About Key Sets. Automated Reasoning: 9th International Joint Conference, IJCAR 2018. editor / Didier Galmiche ; Stephan Schulz ; Roberto Sebastiani. Springer, 2018. pp. 47-63 (Lecture Notes in Computer Science).
@inproceedings{9fd6dac42c794b54848a5c889bb63691,
title = "Automated Reasoning About Key Sets",
keywords = "111 Mathematics",
author = "Miika Hannula and Sebastian Link",
year = "2018",
doi = "10.1007/978-3-319-94205-6_4",
language = "English",
isbn = "978-3-319-94204-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "47--63",
editor = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani",
booktitle = "Automated Reasoning",
address = "International",

}

Hannula, M & Link, S 2018, Automated Reasoning About Key Sets. in D Galmiche, S Schulz & R Sebastiani (eds), Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Lecture Notes in Computer Science, vol. 10900, Springer, pp. 47-63, 9th International Joint Conference, IJCAR 2018, Oxford, United Kingdom, 14/07/2018. https://doi.org/10.1007/978-3-319-94205-6_4

Automated Reasoning About Key Sets. / Hannula, Miika ; Link, Sebastian.

Automated Reasoning: 9th International Joint Conference, IJCAR 2018. ed. / Didier Galmiche; Stephan Schulz; Roberto Sebastiani. Springer, 2018. p. 47-63 (Lecture Notes in Computer Science; Vol. 10900).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

TY - GEN

T1 - Automated Reasoning About Key Sets

AU - Hannula, Miika

AU - Link, Sebastian

PY - 2018

Y1 - 2018

KW - 111 Mathematics

U2 - 10.1007/978-3-319-94205-6_4

DO - 10.1007/978-3-319-94205-6_4

M3 - Conference contribution

SN - 978-3-319-94204-9

T3 - Lecture Notes in Computer Science

SP - 47

EP - 63

BT - Automated Reasoning

A2 - Galmiche, Didier

A2 - Schulz, Stephan

A2 - Sebastiani, Roberto

PB - Springer

ER -

Hannula M, Link S. Automated Reasoning About Key Sets. In Galmiche D, Schulz S, Sebastiani R, editors, Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Springer. 2018. p. 47-63. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-94205-6_4