
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