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

Eugenio Omodeo, Alexandru Ioan Tomescu

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Alkuperäiskielienglanti
TilaJulkaistu - 2015
OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

Lisätietoja

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:

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä