Search for persons
X
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Declassification Policy for Program Complexity Analysis:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
2
A Programming Language Characterizing Quantum Polynomial Ti..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
5
Complete and tractable machine-independent characterization..:
, In:
?
Theoretical Aspects of Computing – ICTAC 2021; Lecture Notes in Computer Science ,
6
ComplexityParser: An Automatic Tool for Certifying Poly-Tim..:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
7
A tier-based typed programming language characterizing Feas..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
8