scientific article; zbMATH DE number 851596
From MaRDI portal
Publication:4868062
zbMath0845.68021MaRDI QIDQ4868062
No author found.
Publication date: 5 March 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17)
Related Items (2)
Unification for infinite sets of equations between finite terms ⋮ Weakest preconditions for pure Prolog programs
This page was built for publication:
