FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(266)
Research Grants
(23)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Infinite Populations, Choice and Determinacy (2018)
Litak T
Journal article, Original article
Unguarded Recursion on Coinductive Resumptions (2018)
Goncharov S, Schröder L, Rauch C, Jakob J
Journal article, Original article
One Modal Logic to Rule Them All? (2018)
Holliday W, Litak T
Conference contribution, Conference Contribution
Lewis meets Brouwer: Constructive strict implication (2018)
Litak T, Visser A
Journal article, Original article
Completeness of Flat Coalgebraic Fixpoint Logics (2018)
Schröder L, Venema Y
Journal article
A detailed analysis of the Arden Syntax expression grammar (2018)
Kraus S, Rosenbauer M, Schröder L, Buerkle T, Adlassnig KP, Toddenroth D
Journal article
A Semantics for Hybrid Iteration (2018)
Goncharov S, Neves R
Conference contribution, Conference Contribution
A Metalanguage for Guarded Iteration (2018)
Goncharov S, Rauch C, Schröder L
Conference contribution, Conference Contribution
Proper Functors and Fixed Points for Finite Behaviour (2018)
Milius S
Journal article
A coalgebraic treatment of conditional transition systems with upgrades (2018)
Harsh B, König B, Küpper S, Silva A, Wißmann T
Journal article
‹
1
...
8
9
10
11
12
...
22
›