| 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 | |
| Publication status | Published - Jan 2014 |
| MoE publication type | A1 Journal article-refereed |
Fields of Science
- Claw-free graph
- Theory-based automated reasoning
- Proof-checking
- Referee
Cite this
@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",
}
Omodeo, EG & Tomescu, AI 2014, 'Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets', Journal of Automated Reasoning, vol. 52, no. 1, pp. 1-29. https://doi.org/10.1007/s10817-012-9272-3
Set Graphs. III. Proof Pearl : Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets. / Omodeo, Eugenio G.; Tomescu, Alexandru I.
In: Journal of Automated Reasoning, Vol. 52, No. 1, 01.2014, p. 1-29.Research output: Contribution to journal › Article › Scientific › peer-review
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 -