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
Authors
Abu Zaid, Faried
Grädel, Erich
Jaax, Stefan
Identifier
- REPORT NUMBER: RWTH-CONV-211643