Vol-1377⫷ Vol-1378 ⫸Vol-1379
urn:nbn:de:0074-1378-0


Vol-1378/paper29⫷Vol-1378/paper32⫸Vol-1378/paper33
Cristian MolinaroIrina TrubitsynaMarco CalauttiSergio Greco

Rewriting-based Check of Chase Termination