Hyper-Extensionality and One-Node Elimination on Membership Graphs

Eugenio Omodeo; Carla Piazza; Alberto Policriti; Alexandru Ioan Tomescu

Hyper-Extensionality and One-Node Elimination on Membership Graphs

Eugenio Omodeo
, Carla Piazza
, Alberto Policriti
, Alexandru Ioan Tomescu

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på värdpublikation	Proceedings of the 29th Italian Conference on Computational Logic : Torino, Italy, June 16-18, 2014
Redaktörer	Laura Giordano, Valentina Gliozzi , Gian Luca Pozzato
Antal sidor	6
Volym	1195
Förlag	CEUR Workshop Proceedings
Utgivningsdatum	2014
Sidor	341-346
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	Italian conference on computational logic - Torino, Italien Varaktighet: 16 juni 2014 → 18 juni 2014 Konferensnummer: 29

Publikationsserier

Namn	CEUR Workshop Proceedings
Förlag	Rheinisch-Westfaelische Technische Hochschule Aachen
Volym	1195
ISSN (tryckt)	1613-0073

Vetenskapsgrenar

111 Matematik

Åtkomst av dokument

http://ceur-ws.org/Vol-1195/short7.pdf

Citera det här

Omodeo, E., Piazza, C., Policriti, A., & Tomescu, A. I. (2014). Hyper-Extensionality and One-Node Elimination on Membership Graphs. I L. Giordano, V. Gliozzi , & G. L. Pozzato (Red.), Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014 (Vol. 1195 , s. 341-346). (CEUR Workshop Proceedings; Vol. 1195). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-1195/short7.pdf

Omodeo, Eugenio ; Piazza, Carla ; Policriti, Alberto et al. / Hyper-Extensionality and One-Node Elimination on Membership Graphs. Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014. redaktör / Laura Giordano ; Valentina Gliozzi ; Gian Luca Pozzato . Vol. 1195 CEUR Workshop Proceedings, 2014. s. 341-346 (CEUR Workshop Proceedings).

@inproceedings{950ddceb299a4a0b8a485bb5e1afbed0,

title = "Hyper-Extensionality and One-Node Elimination on Membership Graphs",

keywords = "111 Mathematics",

author = "Eugenio Omodeo and Carla Piazza and Alberto Policriti and Tomescu, \{Alexandru Ioan\}",

note = " Proceeding volume: 1195 ; Italian conference on computational logic ; Conference date: 16-06-2014 Through 18-06-2014",

year = "2014",

language = "English",

volume = "1195 ",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

pages = "341--346",

editor = "Laura Giordano and \{Gliozzi \}, Valentina and \{Pozzato \}, \{Gian Luca\}",

booktitle = "Proceedings of the 29th Italian Conference on Computational Logic",

address = "Unknown",

}

Omodeo, E, Piazza, C, Policriti, A & Tomescu, AI 2014, Hyper-Extensionality and One-Node Elimination on Membership Graphs. i L Giordano, V Gliozzi & GL Pozzato (red), Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014. vol. 1195 , CEUR Workshop Proceedings, vol. 1195, CEUR Workshop Proceedings, s. 341-346, Italian conference on computational logic, Torino, Italien, 16/06/2014. <http://ceur-ws.org/Vol-1195/short7.pdf>

Hyper-Extensionality and One-Node Elimination on Membership Graphs. / Omodeo, Eugenio; Piazza, Carla; Policriti, Alberto et al.
Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014. red. / Laura Giordano; Valentina Gliozzi ; Gian Luca Pozzato . Vol. 1195 CEUR Workshop Proceedings, 2014. s. 341-346 (CEUR Workshop Proceedings; Vol. 1195).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

TY - GEN

T1 - Hyper-Extensionality and One-Node Elimination on Membership Graphs

AU - Omodeo, Eugenio

AU - Piazza, Carla

AU - Policriti, Alberto

AU - Tomescu, Alexandru Ioan

N1 - Conference code: 29

PY - 2014

Y1 - 2014

KW - 111 Mathematics

M3 - Conference contribution

VL - 1195

T3 - CEUR Workshop Proceedings

SP - 341

EP - 346

BT - Proceedings of the 29th Italian Conference on Computational Logic

A2 - Giordano, Laura

A2 - Gliozzi , Valentina

A2 - Pozzato , Gian Luca

PB - CEUR Workshop Proceedings

T2 - Italian conference on computational logic

Y2 - 16 June 2014 through 18 June 2014

ER -