scientific article; zbMATH DE number 1980926
From MaRDI portal
Publication:4428300
zbMath1023.03535MaRDI QIDQ4428300
Pascal Fontaine, E. Pascal Gribomont
Publication date: 15 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140190.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05)
Related Items (4)
Strategies for combining decision procedures ⋮ NP-completeness of small conflict set generation for congruence closure ⋮ NuMDG: a new tool for multiway decision graphs construction ⋮ Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
This page was built for publication:
