On representing graphs as membership digraphs - A proof scenario checked by Referee

Eugenio Omodeo, Alexandru Ioan Tomescu

Research output: Non-textual formSoftwareScientific

Original languageEnglish
Publication statusPublished - 2015
MoE publication typeI2 ICT software

Fields of Science

  • 113 Computer and information sciences

Cite this

@misc{f6dafcde38ba446eb6a1738380957a29,
title = "On representing graphs as membership digraphs - A proof scenario checked by Referee",
keywords = "113 Computer and information sciences",
author = "Eugenio Omodeo and Tomescu, {Alexandru Ioan}",
note = "This proof scenario accompanies the paper: Eugenio G. Omodeo, Alexandru I. Tomescu, Set Graphs. V. On representing graphs as membership digraphs, Journal of Logic and Computation 25(3), 899-919, 2015 Volume: Proceeding volume:",
year = "2015",
language = "English",

}

On representing graphs as membership digraphs - A proof scenario checked by Referee. Omodeo, Eugenio (Author); Tomescu, Alexandru Ioan (Author). 2015.

Research output: Non-textual formSoftwareScientific

TY - ADVS

T1 - On representing graphs as membership digraphs - A proof scenario checked by Referee

AU - Omodeo, Eugenio

AU - Tomescu, Alexandru Ioan

N1 - This proof scenario accompanies the paper: Eugenio G. Omodeo, Alexandru I. Tomescu, Set Graphs. V. On representing graphs as membership digraphs, Journal of Logic and Computation 25(3), 899-919, 2015 Volume: Proceeding volume:

PY - 2015

Y1 - 2015

KW - 113 Computer and information sciences

M3 - Software

ER -