Bisimulation Safe Fixed Point Logic release_mlgku77fbzbe5edqe53ggbyvfq

by Faried Abu Zaid, Erich Grädel, Stephan Jaax

Published in Advances in Modal Logic.

2014   p1-15

Archived Files and Locations

application/pdf  398.6 kB
file_btb2e4nmmfabtendfyid2icxp4
www.aiml.net (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 0c68b2d6-e2a2-423a-afbb-31b8b380e813
API URL: JSON