scientific article

zbMath0967.03009MaRDI QIDQ2702565

Hans de Nivelle

Publication date: 12 March 2001

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

zbMATH Keywords

resolutiondecision proceduresdecidable subclasses of first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

First-order temporal verification in practice

This page was built for publication: