The merits of compositional abstraction: a case study in propositional logic

DOI10.1007/978-3-030-22348-9_18zbMath1519.68316OpenAlexW2954040681MaRDI QIDQ6165816

Michael Huth

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/73643

zbMATH Keywords

propositional logiccompositionalityprime implicant

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Logical aspects of lattices and related structures (03G10) Classical propositional logic (03B05)

This page was built for publication: The merits of compositional abstraction: a case study in propositional logic