Managing structural information by higher-order colored unification

DOI10.1023/A:1006282725324zbMath0959.03007OpenAlexW1602983059WikidataQ57389430 ScholiaQ57389430MaRDI QIDQ1582389

Michael Kohlhase, Dieter Hutter

Publication date: 3 October 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006282725324

zbMATH Keywords

inductive theorem provingripplinghigher-order unificationformalization of coloring termssimply typed \(\lambda\) calculus with color annotations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

The use of embeddings to provide a clean separation of term and annotation for higher order rippling ⋮ A colored version of the λ-calculus

This page was built for publication: Managing structural information by higher-order colored unification