most citedMinimizing speculation overhead in a parallel recognizer for regular texts

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023

Lecture Notes on Monadic First- and Second-Order Logic on Strings

Dino Mandrioli, Davide Martinenghi, Angelo Morzenti +2

These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictl…