FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Dr. Thorsten Wißmann
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Award(s)
(2)
Project Memberships
(1)
Publications
(24)
Project Types
Toggle all
Third Party Funds Group - Overall project
Third Party Funds Group - Overall project
Third Party Funds Group - Sub project
Third Party Funds Group - Sub project
Third party funded individual grant
Third party funded individual grant
Internally funded project
Internally funded project
FAU own research funding: EFI / IZKF / EAM ...
FAU own research funding: EFI / IZKF / EAM ...
Non-FAU Project
Non-FAU Project
Status
All
Upcoming
Ongoing
Finished
Project year
From
To
Filters (inactive)
Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX)
Oct. 1, 2014 - July 31, 2018