scientific article; zbMATH DE number 1536570

zbMath0949.03506MaRDI QIDQ4518439

Hugh McGuire, Zohar Manna, Richard Waldinger

Publication date: 28 November 2000

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (1)

A resolution rule for well-formed formulae

This page was built for publication: