Search for persons
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Bouncing Threads for Circular and Non-Wellfounded Proofs ..:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
Positive first-order logic on words:
, In:
?
Developments in Language Theory; Lecture Notes in Computer Science ,
5
Eventually Safe Languages:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
6
Kleene Algebra with Hypotheses:
, In:
?
Developments in Language Theory; Lecture Notes in Computer Science ,
7
Coinductive Algorithms for Büchi Automata:
, In:
?
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
8
Lightweight specification and analysis of dynamic systems w..:
, In:
?
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
9