2007
Expressivity of finitary coalgebraic logics
Publication
Publication
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Additional Metadata | |
---|---|
Software (theme 1) | |
CWI | |
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica | |
Organisation | Computer Security |
Kupke, C.A. (2007). Expressivity of finitary coalgebraic logics. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica.
|