scientific article
From MaRDI portal
Publication:3727360
zbMath0595.68016MaRDI QIDQ3727360
Maurizio Martelli, Roberto Barbuti
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Stratified least fixpoint logic ⋮ Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions ⋮ Protected completions of first-order general logic programs ⋮ Acyclic logic programs and the completeness of SLDNF-resolution ⋮ Paraconsistent logic programming ⋮ Strict completion of logic programs
This page was built for publication:
