Search for persons
X
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
1
Logical Predicates in Higher-Order Mathematical Operational..:
, In:
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
Bialgebraic Reasoning on Higher-order Program Equivalence:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
3
Monoidal Extended Stone Duality:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
4
Weak Similarity in Higher-Order Mathematical Operational Se..:
, In:
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
7
Coalgebraic Semantics for Nominal Automata:
, In:
?
Language and Automata Theory and Applications; Lecture Notes in Computer Science ,
8
On Language Varieties Without Boolean Operations:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
9
Nondeterministic Syntactic Complexity:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
12
Automata Learning : An Algebraic Approach:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
13
Equational Axiomatization of Algebras with Structure:
, In:
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
14