Vol-1491⫷ Vol-1492 ⫸Vol-1493
urn:nbn:de:0074-1492-0


Vol-1492/Paper_28⫷Vol-1492/Paper_29⫸Vol-1492/Paper_30
Linh Anh Nguyen

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic