scientific article
From MaRDI portal
Publication:3621753
zbMath1158.03313MaRDI QIDQ3621753
D. V. Moshchenskii, V. A. Moshchenskij
Publication date: 21 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Complexity of proofs (03F20)
This page was built for publication: