A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics

Helle Hansen, Zeinab Bakhtiari, A Kurz

Research output: Contribution to conference › Abstract › Scientific

52 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2019
EventSyntax Meets Semantics 2019 - Amsterdam, Netherlands
Duration: 21 Jan 2019 → 25 Jan 2019

Conference

ConferenceSyntax Meets Semantics 2019
Abbreviated titleSYSMICS2019
Country/TerritoryNetherlands
CityAmsterdam
Period21/01/19 → 25/01/19

Access to Document

    Cite this