Automated Reasoning About Key Sets

Miika Hannula, Sebastian Link

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationAutomated Reasoning : 9th International Joint Conference, IJCAR 2018
RedaktörerDidier Galmiche, Stephan Schulz, Roberto Sebastiani
FörlagSpringer
Utgivningsdatum2018
Sidor47-63
ISBN (tryckt)978-3-319-94204-9
ISBN (elektroniskt)978-3-319-94205-6
DOI
StatusPublicerad - 2018
Externt publiceradJa
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemang9th International Joint Conference, IJCAR 2018: Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Storbritannien
Varaktighet: 14 jul 201817 jul 2018
Konferensnummer: 9

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSpringer, Cham
Volym10900
ISSN (tryckt)0302-9743
ISSN (elektroniskt)1611-3349

Vetenskapsgrenar

  • 111 Matematik

Citera det här

Hannula, M., & Link, S. (2018). Automated Reasoning About Key Sets. I D. Galmiche, S. Schulz, & R. Sebastiani (Red.), Automated Reasoning: 9th International Joint Conference, IJCAR 2018 (s. 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. redaktör / Didier Galmiche ; Stephan Schulz ; Roberto Sebastiani. Springer, 2018. s. 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. i D Galmiche, S Schulz & R Sebastiani (red), Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Lecture Notes in Computer Science, vol. 10900, Springer, s. 47-63, 9th International Joint Conference, IJCAR 2018, Oxford, Storbritannien, 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. red. / Didier Galmiche; Stephan Schulz; Roberto Sebastiani. Springer, 2018. s. 47-63 (Lecture Notes in Computer Science; Vol. 10900).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer 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. I Galmiche D, Schulz S, Sebastiani R, redaktörer, Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Springer. 2018. s. 47-63. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-94205-6_4