View in EDS PDF Full Text

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, JORDINA1 (AUTHOR), BOWLES, JULIANA2 (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