scientific article
From MaRDI portal
Publication:2723900
zbMath0964.68071MaRDI QIDQ2723900
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On deciding subsumption problems, Explicit versus implicit representations of subsets of the Herbrand universe.