Amaldev Manuel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Paul Gastin
12 publications
R. Govind
2 publications
Dhruv Nevatia
2 publications

research

∙ 05/19/2021

An Algebraic Characterisation of First-Order Logic with Neighbour

We give an algebraic characterisation of first-order logic with the neig...

0 Amaldev Manuel, et al. ∙

research

∙ 07/02/2019

Logics for Reversible Regular Languages and Semigroups with Involution

We present MSO and FO logics with predicates `between' and `neighbour' t...

0 Paul Gastin, et al. ∙