1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2026★ 1 cited
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…
cs.LO2026
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…