Argument reduction by factoring
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4049156 (Why is no real title available?)
- scientific article; zbMATH DE number 194907 (Why is no real title available?)
- Equivalences among Relational Expressions
- Magic templates: a spellbinding approach to logic programs
- The Semantics of Predicate Logic as a Programming Language
Cited in
(4)
This page was built for publication: Argument reduction by factoring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673140)