Fingerprint
Dive into the research topics of 'A novel EGs-based framework for systematic propositional-formula simplification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A novel EGs-based framework for systematic propositional-formula simplification
Jordina Francès de Mas*, Juliana Kuster Filipe Bowles
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
14
Downloads
(Pure)