scientific article; zbMATH DE number 1342223
From MaRDI portal
Publication:4263808
zbMath0934.03017MaRDI QIDQ4263808
Publication date: 22 September 1999
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)
Related Items (2)
On deciding subsumption problems ⋮ Working with ARMs: Complexity results on atomic representations of Herbrand models
This page was built for publication:
