Annals of Pure and Applied Logic

Journal Abbreviation: ANN PURE APPL LOGIC
ISSN: 0168-0072
Publisher: Elsevier Masson

Publications (1)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Completeness for mu-calculi: A coalgebraic approach (2019) Enqvist S, Seifan F, Venema Y Journal article