Personensuche
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
2
ℤ-polyregular functions:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
4
First-order separation over countable ordinals:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
6
Controlling a Random Population:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
7
Universal Graphs and Good for Games Automata: New Tools for..:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
10
Logic and regular cost functions:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
12
Perfect half space games:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
15