FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Rafael Peñaloza
Organization: Free University of Bozen-Bolzano
Web page: http://www.inf.unibz.it/~penaloza/
Pages in this Program
PRUV PRUV 2018 Proceedings
PRUV PRUV 2018 Proceedings: Papers with Abstracts