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)
Permutation games for the weakly aconjunctive μ -calculus (2018)
Hausmann D, Schröder L, Deifel HP
Conference contribution, Original article
Guarded Traced Categories (2018)
Goncharov S, Schröder L
Conference contribution, Conference Contribution
A van Benthem theorem for fuzzy modal logic (2018)
Wild P, Schröder L, Pattinson D, König B
Conference contribution, Conference Contribution
Model Theory and Proof Theory of Coalgebraic Predicate Logic (2018)
Litak T, Pattinson D, Sano K, Schröder L
Journal article, Original article
On Algebras with Effectful Iteration (2018)
Milius S, Adámek J, Urbat H
Conference contribution, Original article
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (2018)
Dorsch U, Milius S, Schröder L, Wißmann T
Conference contribution
A Categorical Approach to Syntactic Monoids (2018)
Adámek J, Milius S, Urbat H
Journal article, Original article
Fixed Points of Functors (2018)
Adámek J, Milius S, Moss L
Journal article
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures (2017)
Evert S, Heinrich P, Henselmann K, Rabenstein U, Scherr E, Schröder L
Conference contribution, Conference Contribution
Negative Translations and Normal Modality (2017)
Litak T, Polzer M, Rabenstein U
Conference contribution, Original article
‹
1
...
9
10
11
12
13
...
22
›