A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
Abstract
(2019)
Author(s)
Helle Hansen (TU Delft - Technology, Policy and Management)
Zeinab Bakhtiari (Lorraine University)
A Kurz (Chapman University)
Research Group
Energy and Industry
To reference this document use
https://resolver.tudelft.nl/uuid:a4458714-78b2-4cf1-a18e-6bf859eed8b7
More Info
expand_more
expand_more
Publication Year
2019
Language
English
Research Group
Energy and Industry
Event
Syntax Meets Semantics 2019 (2019-01-21 - 2019-01-25), Amsterdam, Netherlands
Downloads counter
202
Collections
Institutional Repository
Reuse Rights
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.