scientific article; zbMATH DE number 549962
From MaRDI portal
Publication:4287481
zbMath0797.68031MaRDI QIDQ4287481
Publication date: 12 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexitycompletenesslazy evaluationlogic programmingterm rewritingsoundnesslogic computationdeterministic computations
This page was built for publication: