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

Helle Hansen, Zeinab Bakhtiari, A Kurz

Research output: Contribution to conferenceAbstractScientific

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

Conference

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

Cite this