scientific article; zbMATH DE number 1444742
From MaRDI portal
Publication:4952323
zbMath0945.03019MaRDI QIDQ4952323
No author found.
Publication date: 9 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexitytheorem provingtemporal logicexpressivenessexecutionclausal resolutionnormal form for temporal formulae
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
This page was built for publication:
