scientific article; zbMATH DE number 1222594
From MaRDI portal
Publication:4218134
zbMath0914.03050MaRDI QIDQ4218134
Pawel Mielniczuk, Leszek Pacholski
Publication date: 21 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (2)
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ Set constraints with intersection
This page was built for publication:
