Login / Signup
Mauricio Tellechea
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 2
Top Topics
Rewrite Systems
Quantifier Free
Propositional Logic
Algebraic Structures
Top Venues
LSFA
CoRR
</>
Publications
</>
Miguel Campercholi
,
Mauricio Tellechea
,
Pablo Ventura
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures.
CoRR
(2023)
Miguel Campercholi
,
Mauricio Tellechea
,
Pablo Ventura
Deciding Quantifier-free Definability in Finite Algebraic Structures.
LSFA
(2019)