BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2014
paper-conference
Stage
published
Year 2014
dblp
conf/aiml/ZaidGJ14
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links