research
∙
07/27/2023
An Automata Theoretic Characterization of Weighted First-Order Logic
Since the 1970s with the work of McNaughton, Papert and Schützenberger, ...
research
∙
05/19/2021