Hyper-Extensionality and One-Node Elimination on Membership Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu. Hyper-Extensionality and One-Node Elimination on Membership Graphs. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 341-346, CEUR-WS.org, 2014. [doi]

This author has not been identified. Look up 'Eugenio G. Omodeo' in GoogleThis author has not been identified. Look up 'Carla Piazza' in GoogleThis author has not been identified. Look up 'Alberto Policriti' in GoogleThis author has not been identified. Look up 'Alexandru I. Tomescu' in Google

runs on WebDSL