scientific article; zbMATH DE number 1456952
From MaRDI portal
Publication:4954441
zbMath0938.68571MaRDI QIDQ4954441
Francesca Levi, Maria Chiara Meo, Paola Bruscoli, Giorgio Levi
Publication date: 7 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Implementing constructive intensional negation ⋮ A rewrite approach for constraint logic programming ⋮ αCheck: A mechanized metatheory model checker ⋮ Négation constructive et axiomatique interne ⋮ S-semantics for logic programming: a retrospective look
This page was built for publication:
