Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

Eugenio G. Omodeo, Alexandru I. Tomescu

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalJournal of Automated Reasoning
Volume52
Issue number1
Pages (from-to)1-29
Number of pages29
ISSN0168-7433
DOIs
Publication statusPublished - Jan 2014
MoE publication typeA1 Journal article-refereed

Fields of Science

  • Claw-free graph
  • Theory-based automated reasoning
  • Proof-checking
  • Referee

Cite this