ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Helmut Seidl
Helmut Seidl

Registered user since Sun 15 Jan 2017

Name: Helmut Seidl

Affiliation: Technische Universität München

Personal website: http://www2.in.tum.de/~seidl/

Contributions

FOSSACS 2019Session Chair of Fixed-point Logics (part of FOSSACS 2019)
Author of Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile