Bisimulation Safe Fixed Point Logic

London / King's College Publications (2014) [Contribution to a book]

Advances in Modal Logic . - 10
Page(s): 15 Seiten

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-CONV-211643