Pablo Ventura

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Action Theories

Quantifier Free

Propositional Logic

Algebraic Structures

Top Venues

Publications

Miguel Campercholi, Mauricio Tellechea, Pablo Ventura
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures. CoRR (2023)
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura
The complexity of definability by open first-order formulas. Log. J. IGPL 28 (6) (2020)
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura
The Complexity of Definability by Open First-Order Formulas. CoRR (2019)
Miguel Campercholi, Mauricio Tellechea, Pablo Ventura
Deciding Quantifier-free Definability in Finite Algebraic Structures. LSFA (2019)
Carlos Areces, Miguel Campercholi, Pablo Ventura
Deciding Open Definability via Subisomorphisms. WoLLIC (2018)