2 citations · 3 across the 5 of their papers we have counts for
7 papers
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Shibashis Guha, Amaldev Manuel, S P Rishal
We extend the two-variable logic on data words with guarded regular binary predicates of the form that is true if positions and are in the same class a…
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…
Deciding Conjugacy of a Rational Relation
C. Aiswarya, Amaldev Manuel, Saina Sunny
The study of rational relations is fundamental to the study of formal languages and automata theory. A rational relation is conjugate if each pair of words in the relation is conju…
An Algebraic Characterisation of First-Order Logic with Neighbour
Amaldev Manuel, Dhruv Nevatia
We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an invo…
Logics for Reversible Regular Languages and Semigroups with Involution
Paul Gastin, Amaldev Manuel, R. Govind
We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse opera…
-calculus on data words
Thomas Colcolmbet, Amaldev Manuel
We study the decidability and expressiveness issues of -calculus on data words and data -words. It is shown that the full logic as well as the fragment which uses only the le…
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
Amaldev Manuel, Thomas Schwentick, Thomas Zeume
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.