Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AK
A Kurz
Academic Work (3)
Abstract (1)
Conference paper (1)
Journal article (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
3 records found
1
A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
Abstract (2019) -
H.H. Hansen (author)
,
Zeinab Bakhtiari (author)
,
A Kurz (author)
Presenting distributive laws
Journal article (2015) -
MM Bonsangue (author)
,
H.H. Hansen (author)
,
A Kurz (author)
,
J Rot (author)
Multi-type sequent calculi
Conference paper (2014) -
S Frittella (author)
,
G. Greco (author)
,
A Kurz (author)
,
A. Palmigiano (author)
,
A Sikimi¿ (author)
