activity
20132026
most citedA Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor

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

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.FL2024

Edit Distance of Finite State Transducers

C. Aiswarya, Amaldev Manuel, Saina Sunny

We lift metrics over words to metrics over word-to-word transductions, by defining the distance between two transductions as the supremum of the distances of their respective outpu…