Set Graphs. V. On representing graphs as membership digraphs

Eugenio G. Omodeo, Alexandru I. Tomescu

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalJournal of Logic and Computation
Volume25
Issue number3
Pages (from-to)899-919
Number of pages21
ISSN0955-792X
DOIs
Publication statusPublished - Jun 2015
MoE publication typeA1 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

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

}

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 journalArticleScientificpeer-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 -