LOPEZ POMBO, CARLOS GUSTAVO; MARTINEZ SUÑÉ, AGUSTÍN ELOY

Integrating deduction and model finding in a language independent setting

Mathematical Foundations of Software Engineering - Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement

Lugar: Londres; Año: 2022; p. 22 - 59

LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN; MAIBAUM, THOMAS S.E.

On the construction of explosive relation algebras

A Question is More Illuminating than an Answer - A Festschrift for Paolo A. S. Veloso

Lugar: Londres; Año: 2021; p. 202 - 236

LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

(Heterogeneous) Structured Specifications in Logics Without Interpolation

Ewa Orlowska on Relational Methods in Logic and Computer Science

Lugar: Berlin; Año: 2018;