Pablo Ventura | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Carlos Areces
6 publications
Miguel Campercholi
3 publications
Mauricio Tellechea
1 publication
Daniel Penazzi
1 publication

research

∙ 03/29/2023

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures

This work deals with the definability problem by quantifier-free first-o...

0 Miguel Campercholi, et al. ∙

research

∙ 04/09/2019

The Complexity of Definability by Open First-Order Formulas

In this article we formally define and investigate the computational com...

0 Carlos Areces, et al. ∙