scientific article
From MaRDI portal
Publication:2767014
zbMath0988.68590MaRDI QIDQ2767014
Jan Friso Groote, Jaco van de Pol
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
A rewriting approach to binary decision diagrams ⋮ Generalizing DPLL and satisfiability for equalities ⋮ Transforming equality logic to propositional logic ⋮ A Term Rewriting Technique for Decision Graphs ⋮ Zero, successor and equality in BDDs ⋮ EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas ⋮ Just-in-time ⋮ Parameterised Boolean equation systems ⋮ From μCRL to mCRL2
This page was built for publication:
