![](/img/cover-not-exists.png)
Completeness for μ-calculi: A coalgebraic approach
Enqvist, Sebastian, Seifan, Fatemeh, Venema, YdeVolume:
170
Language:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2018.12.004
Date:
May, 2019
File:
PDF, 1.14 MB
english, 2019