Baidu
map

Folding interpretations

Bojanczyk, M

Bojanczyk, M (通讯作者),Univ Warsaw, Warsaw, Poland.

2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023; ():

Abstract

We study the polyregular string-to-string functions, which are certain functions of polynomial output size that can be described using automata and lo......

Full Text Link


Baidu
map
Baidu
map
Baidu
map