Dhruv Nevatia | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat

Featured Co-authors

Benjamin Monmege
9 publications
Amaldev Manuel
2 publications

research

∙ 07/27/2023

An Automata Theoretic Characterization of Weighted First-Order Logic

Since the 1970s with the work of McNaughton, Papert and Schützenberger, ...

0 Dhruv Nevatia, et al. ∙

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. ∙