scientific article; zbMATH DE number 826301

zbMath0832.68013MaRDI QIDQ4858579

Maurizio Gabbrielli, María Alpuente, Giorgio Levi, Moreno Falaschi

Publication date: 17 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

Modular Termination of Basic Narrowing ⋮ Termination of narrowing revisited

Uses Software

• BABEL

This page was built for publication: