FUNCTIONAL PEARL Functional satisfaction

DOI10.1017/S0956796804005155MaRDI QIDQ4660262zbMATH OpenOpenAlexFDO

Authors Luc Maranget

Publication date 21 March 2005

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796804005155

zbMATH Keywords

predicate calculuspropositional calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 3974944
• A decidable fragment of predicate calculus
• A satisfiability tester for non-clausal propositional calculus
• A decision procedure for probability calculus with applications
• scientific article; zbMATH DE number 3870637

Cited in

(1)

• Abstract satisfaction

This page was built for publication: FUNCTIONAL PEARL Functional satisfaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4660262)