Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Finite Model Property and Bisimulation for LFD
Home
Publications
Finite Model Property and Bisimulation for LFD
Finite Model Property and Bisimulation for LFD
RK
Raoul Koudijs
Raoul Koudijs
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
16 September 2021
journal article
Published by
Open Publishing Association
in
Electronic Proceedings in Theoretical Computer Science
Vol. 346
,
166-178
https://doi.org/10.4204/eptcs.346.11
Abstract
No abstract available
Other Versions
Version 1, 2021-09-17, preprints