Daniel Penazzi

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Finite Model Theory

Curvilinear Structures

Propositional Logic

Top Venues

J. Log. Comput.

Publications

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)
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
The lattice of congruences of a finite line frame. J. Log. Comput. 27 (8) (2017)
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
The Lattice of Congruences of a Finite Linear Frame. CoRR (2015)