Research

Publications, preprints and work in progress.

Publications

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

    2023

    M. Campercholi, M. Tellechea, P. Ventura

    arXiv:2303.17017

    Preprint
    PDF Link

  • Deciding Quantifier-free Definability in Finite Algebraic Structures

    2020

    M. Campercholi, M. Tellechea, P. Ventura

    Electronic Notes in Theoretical Computer Science 348

    Journal
    Link

  • Deciding Open Definability via Subisomorphisms

    2018

    C. Areces, M. Campercholi, P. Ventura

    WoLLIC 2018, LNCS 10944

    Conference
    Link