Set Graphs VI: Logic Programming and Bisimulation

DOVIER, Agostino

2014

conference object

Periodico

CEUR WORKSHOP PROCEEDINGS

Archivio

http://hdl.handle.net/11390/1022156

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84925238078

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

Diritti

metadata only access

Soggetti

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024