Bisimulation Safe Fixed Point Logic

(2014) [Fachzeitschriftenartikel]

Advances in Modal Logic, Volume 10

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Zaid, Faried Abu
Grädel, Erich
Jaax, Stefan