scientific article; zbMATH DE number 1222409
From MaRDI portal
Publication:4217932
zbMath0917.68043MaRDI QIDQ4217932
Witold Charatonik, Andreas Podelski
Publication date: 11 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Data type inference for logic programming ⋮ A polymorphic type dependency analysis for logic programs ⋮ The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard
This page was built for publication:
