research
∙
10/18/2022
Efficient Evaluation of Arbitrary Relational Calculus Queries
The relational calculus (RC) is a concise, declarative query language. H...
share
research
∙
05/27/2020
From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata
The question whether P = NP revolves around the discrepancy between acti...
research
∙
09/27/2018
