Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/invited2⫷Vol-1195/long1⫸Vol-1195/long2
Agostino Dovier

Set Graphs VI: Logic Programming and Bisimulation