Registered user since Mon 20 Jan 2025
Name:Juhan Ernits
Country:Estonia
Affiliation:Tallinn University of Technology
Research interests:Automata, regular expressions, applications of constraint systems, model based diagnosis
Contributions
POPL 2025-profile
View general profile
View general profile