Jordina Francès de Mas

According to our database¹, Jordina Francès de Mas authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2025

2024

Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023