Unification with extended patterns
type: Item
instance of: scholarly article
title: Unification with extended patterns
zbMATH Open document ID: 0932.68021
DOI: 10.1016/S0304-3975(97)00141-2
author: Dominic Duggan
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1238716
zbMATH Keywords: \(\beta_0\pi\)-unification
describes a project that uses: Elf
MaRDI profile type: Publication
cites work: Explicit substitutions
cites work: Higher-order substitutions
cites work: Q3997125
cites work: A unification algorithm for typed \(\overline\lambda\)-calculus
cites work: Q3211296
cites work: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
cites work: Unification under a mixed prefix
cites work: Higher-order Horn clauses
cites work: Q3204068
cites work: Q4012879
cites work: Linear unification of higher-order patterns
Recommended article: Linear unification of higher-order patterns
Recommended article: Q2778871
Recommended article: Automated Deduction – CADE-19
Recommended article: Pattern unification with sequence variables and flexible arity symbols
Recommended article: Higher-order unification and matching
Recommended article: Regular Patterns in Second-Order Unification
Recommended article: Combining unification algorithms
Recommended article: Generalizations of unification
description: scientific article; zbMATH DE number 1238716