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

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	Journal of Automated Reasoning
Volume	52
Issue number	1
Pages (from-to)	1-29
Number of pages	29
ISSN	0168-7433
DOIs	https://doi.org/10.1007/s10817-012-9272-3
Publication status	Published - Jan 2014
MoE publication type	A1 Journal article-refereed

Fields of Science

@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 = jan,

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",

}

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 -