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