Automated Reasoning About Key Sets

Miika Hannula, Sebastian Link

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoAutomated Reasoning : 9th International Joint Conference, IJCAR 2018
ToimittajatDidier Galmiche, Stephan Schulz, Roberto Sebastiani
KustantajaSpringer
Julkaisupäivä2018
Sivut47-63
ISBN (painettu)978-3-319-94204-9
ISBN (elektroninen)978-3-319-94205-6
DOI - pysyväislinkit
TilaJulkaistu - 2018
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtuma9th International Joint Conference, IJCAR 2018: Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Britannia
Kesto: 14 heinäkuuta 201817 heinäkuuta 2018
Konferenssinumero: 9

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer, Cham
Vuosikerta10900
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Tieteenalat

  • 111 Matematiikka

Lainaa tätä

Hannula, M., & Link, S. (2018). Automated Reasoning About Key Sets. teoksessa D. Galmiche, S. Schulz, & R. Sebastiani (Toimittajat), Automated Reasoning: 9th International Joint Conference, IJCAR 2018 (Sivut 47-63). (Lecture Notes in Computer Science; Vuosikerta 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. Toimittaja / Didier Galmiche ; Stephan Schulz ; Roberto Sebastiani. Springer, 2018. Sivut 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. julkaisussa D Galmiche, S Schulz & R Sebastiani (toim), Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Lecture Notes in Computer Science, Vuosikerta 10900, Springer, Sivut 47-63, 9th International Joint Conference, IJCAR 2018, Oxford, Britannia, 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. toim. / Didier Galmiche; Stephan Schulz; Roberto Sebastiani. Springer, 2018. s. 47-63 (Lecture Notes in Computer Science; Vuosikerta 10900).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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. julkaisussa Galmiche D, Schulz S, Sebastiani R, toimittajat, 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