scientific article

zbMath1272.03136MaRDI QIDQ2848053

Sergey Berezin, Clark Barrett, Arie Gurfinkel, Igor Shikanian, Marsha Chechik, David L. Dill

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050693

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Many-valued logic (03B50)

Related Items

A completeness proof for a regular predicate logic with undefined truth value, Classical logic with partial functions, Satisfiability in composition-nominative logics, Efficient Well-Definedness Checking, Classical Logic with Partial Functions, An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types