scientific article; zbMATH DE number 833906
From MaRDI portal
Publication:4860310
zbMath0832.03008MaRDI QIDQ4860310
Publication date: 15 January 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horn formulascomputing timeindependence of axiomscalculiAND/OR-graphsprobabilistic behavior of resolution
Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05) Logic programming (68N17)
Related Items (2)
Improving a fixed parameter tractability time bound for the shadow problem ⋮ On generalizations of the shadow independent set problem
This page was built for publication:
