Search for persons
X
?
Lecture Notes in Computer Science; LATIN 2024: Theoretical Informatics ,
1
Space-Efficient Conversions from SLPs:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
Decision Procedures for Sequence Theories:
, In:
?
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ,
4
Data Path Queries over Embedded Graph Databases:
, In:
?
Language and Automata Theory and Applications; Lecture Notes in Computer Science ,
8
Recompression: Technique for Word Equations and Compressed ..:
, In:
?
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) ,
10
Balancing Straight-Line Programs:
, In:
?
Developments in Language Theory; Lecture Notes in Computer Science ,
11