scientific article; zbMATH DE number 1051240
From MaRDI portal
Publication:4349580
zbMath0882.68094MaRDI QIDQ4349580
Publication date: 24 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Alternating two-way AC-tree automata ⋮ Model building with ordered resolution: Extracting models from saturated clause sets ⋮ A calculus combining resolution and enumeration for building finite models ⋮ Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
This page was built for publication:
