Bisimulation Safe Fixed Point Logic

London / King's College Publications (2014) [Buchbeitrag]

Advances in Modal Logic . - 10

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-211643