A Kurz | TU Delft Repository

Library

local_library Home Repository

AK

A Kurz

Abstract (1)

Conference paper (1)

2 records found

1

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

Abstract (2019) - HH Hansen (author) , Zeinab Bakhtiari (author) , A Kurz (author)

Multi-type sequent calculi

Conference paper (2014) - S Frittella (author) , Giuseppe Greco (author) , A Kurz (author) , A. Palmigiano (author) , A Sikimi¿ (author)