| Original language | English |
|---|---|
| Journal | Journal of Logic and Computation |
| Volume | 25 |
| Issue number | 3 |
| Pages (from-to) | 899-919 |
| Number of pages | 21 |
| ISSN | 0955-792X |
| DOIs | |
| Publication status | Published - Jun 2015 |
| MoE publication type | A1 Journal article-refereed |
Fields of Science
- Theory-based automated reasoning
- proof checking
- Referee a.k.a. AEtnaNova
- graphs and digraphs
- Mostowski's decoration
- 113 Computer and information sciences
Cite this
Omodeo, E. G., & Tomescu, A. I. (2015). Set Graphs. V. On representing graphs as membership digraphs. Journal of Logic and Computation, 25(3), 899-919. https://doi.org/10.1093/logcom/exu060
@article{2a5ad3e5ebf24bee975ac160a49ebc92,
title = "Set Graphs. V. On representing graphs as membership digraphs",
keywords = "Theory-based automated reasoning, proof checking, Referee a.k.a. AEtnaNova, graphs and digraphs, Mostowski's decoration, 113 Computer and information sciences",
author = "Omodeo, {Eugenio G.} and Tomescu, {Alexandru I.}",
year = "2015",
month = "6",
doi = "10.1093/logcom/exu060",
language = "English",
volume = "25",
pages = "899--919",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "3",
}
Omodeo, EG & Tomescu, AI 2015, 'Set Graphs. V. On representing graphs as membership digraphs', Journal of Logic and Computation, vol. 25, no. 3, pp. 899-919. https://doi.org/10.1093/logcom/exu060
Set Graphs. V. On representing graphs as membership digraphs. / Omodeo, Eugenio G.; Tomescu, Alexandru I.
In: Journal of Logic and Computation, Vol. 25, No. 3, 06.2015, p. 899-919.Research output: Contribution to journal › Article › Scientific › peer-review
TY - JOUR
T1 - Set Graphs. V. On representing graphs as membership digraphs
AU - Omodeo, Eugenio G.
AU - Tomescu, Alexandru I.
PY - 2015/6
Y1 - 2015/6
KW - Theory-based automated reasoning
KW - proof checking
KW - Referee a.k.a. AEtnaNova
KW - graphs and digraphs
KW - Mostowski's decoration
KW - 113 Computer and information sciences
U2 - 10.1093/logcom/exu060
DO - 10.1093/logcom/exu060
M3 - Article
VL - 25
SP - 899
EP - 919
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
SN - 0955-792X
IS - 3
ER -
Omodeo EG, Tomescu AI. Set Graphs. V. On representing graphs as membership digraphs. Journal of Logic and Computation. 2015 Jun;25(3):899-919. https://doi.org/10.1093/logcom/exu060