Coloring terms to control equational reasoning
type: Item
instance of: scholarly article
title: Coloring terms to control equational reasoning
zbMATH Open document ID: 0881.68108
DOI: 10.1023/A:1005772217686
author: Dieter Hutter
published in: Journal of Automated Reasoning
publication date: 1997-09-17T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1062579
zbMATH Keywords: inductive theorem proving
MaRDI profile type: Publication
full work available at URL: a:1005772217686
OpenAlex ID: W1601255741
Recommended article: Q3484358
Recommended article: A colored version of the λ-calculus
Recommended article: Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
Recommended article: Constraint and Satisfiability Reasoning for Graph Coloring
Recommended article: Coloring Theories
Recommended article: Coloring the rationals in reverse mathematics
Recommended article: Q3990593
Recommended article: The method of colored graphs for simplifying expressions with indices
Recommended article: Using graph coloring in an algebraic compiler
Recommended article: A generalization of the algebra of color
description: scientific article; zbMATH DE number 1062579