Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

Eugenio G. Omodeo, Alexandru I. Tomescu

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiJournal of Automated Reasoning
Vuosikerta52
Numero1
Sivut1-29
Sivumäärä29
ISSN0168-7433
DOI - pysyväislinkit
TilaJulkaistu - tammikuuta 2014
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Lainaa tätä

@article{64500bacb2ee4b0c8ed6fb09e24ff2fc,
title = "Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets",
keywords = "Claw-free graph, Theory-based automated reasoning, Proof-checking, Referee",
author = "Omodeo, {Eugenio G.} and Tomescu, {Alexandru I.}",
year = "2014",
month = "1",
doi = "10.1007/s10817-012-9272-3",
language = "English",
volume = "52",
pages = "1--29",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1",

}

Set Graphs. III. Proof Pearl : Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets. / Omodeo, Eugenio G.; Tomescu, Alexandru I.

julkaisussa: Journal of Automated Reasoning, Vuosikerta 52, Nro 1, 01.2014, s. 1-29.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

TY - JOUR

T1 - Set Graphs. III. Proof Pearl

T2 - Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

AU - Omodeo, Eugenio G.

AU - Tomescu, Alexandru I.

PY - 2014/1

Y1 - 2014/1

KW - Claw-free graph

KW - Theory-based automated reasoning

KW - Proof-checking

KW - Referee

U2 - 10.1007/s10817-012-9272-3

DO - 10.1007/s10817-012-9272-3

M3 - Article

VL - 52

SP - 1

EP - 29

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1

ER -