Positive and negative results for higher-order disunification
type: Item
instance of: scholarly article
title: Positive and negative results for higher-order disunification
zbMATH Open document ID: 0851.68071
author: D. Lugiez
published in: Journal of Symbolic Computation
publication date: 1996-11-17T00:00:00Z
full work available at URL: RR-2492.pdf
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 884783
zbMATH Keywords: algebraic higher-order specification languages
MaRDI profile type: Publication
OpenAlex ID: W1994026377
DOI: 10.1006/JSCO.1995.1058
description: scientific article; zbMATH DE number 884783