Managing structural information by higher-order colored unification
type: Item
instance of: scholarly article
title: Managing structural information by higher-order colored unification
zbMATH Open document ID: 0959.03007
DOI: 10.1023/A:1006282725324
author: Dieter Hutter
author: Michael Kohlhase
published in: Journal of Automated Reasoning
publication date: 2000-10-03T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1513271
zbMATH Keywords: simply typed \(\lambda\) calculus with color annotations
zbMATH Keywords: inductive theorem proving
zbMATH Keywords: formalization of coloring terms
zbMATH Keywords: rippling
zbMATH Keywords: higher-order unification
MaRDI profile type: Publication
full work available at URL: a:1006282725324
OpenAlex ID: W1602983059
Wikidata QID: Q57389430
description: scientific article; zbMATH DE number 1513271