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

Saved in:

Bibliographic Details
Title:	A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs.
Authors:	FRANCÈS DE MAS, JORDINA¹ (AUTHOR), BOWLES, JULIANA² (AUTHOR)
Source:	Theory & Practice of Logic Programming. May2025, Vol. 25 Issue 3, p374-393. 20p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068424000140