Oriented equational logic programming is complete
type: Item
instance of: scholarly article
title: Oriented equational logic programming is complete
zbMATH Open document ID: 0878.68037
author: O. Diekmann
published in: Journal of Symbolic Computation
publication date: 1997-05-28T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1014245
zbMATH Keywords: basic conditional narrowing
zbMATH Keywords: SLD-resolution
MaRDI profile type: Publication
OpenAlex ID: W2016691661
DOI: 10.1006/JSCO.1996.0075
description: scientific article; zbMATH DE number 1014245