Registered user since Tue 29 Jan 2019
Name:Barbara König
Affiliation:University of Duisburg-Essen
Contributions
| POPL 2019 | Fixpoint Games on Continuous Lattices | ||||||||||||||||||||||||||||||||||||||||
| OPCT 2019 | Session Chair of Algebra, Coalgebra, Model Checking (part of OPCT 2019) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile