FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Fundamenta Informaticae
Journal Abbreviation:
FUND INFORM
ISSN:
0169-2968
Publisher:
IOS Press
Publications (1)
Types of publications
Journal article
Journal article
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Filters (inactive)
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (2017)
Milius S, Litak T
Journal article