research
∙
01/23/2023
Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs
Polyregular functions are the class of string-to-string functions defina...
share
research
∙
12/23/2019
Complexity of correctness for pomset logic proof nets
We show that it is coNP-complete to decide whether a given proof structu...
research
∙
08/14/2019
