FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Formal Aspects of Computing
Journal Abbreviation:
FORM ASP COMPUT
ISSN:
0934-5043
Publisher:
Springer Verlag (Germany)
Publications (2)
Types of publications
Journal article
Journal article
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Filters (inactive)
From generic partition refinement to weighted tree automata minimization (2021)
Wißmann T, Deifel HP, Milius S, Schröder L
Journal article
ℒΩUI: ℒovely ΩMEGA User Interface (1999)
Kohlhase M
Journal article, Original article