Tree automata help one to solve equational formulae in AC-theories
type: Item
instance of: scholarly article
title: Tree automata help one to solve equational formulae in AC-theories
zbMATH Open document ID: 0827.68041
author: D. Lugiez
author: J. L. Moysset
published in: Journal of Symbolic Computation
publication date: 1995-06-08T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 762063
zbMATH Keywords: tree automata
MaRDI profile type: Publication
OpenAlex ID: W2063655645
DOI: 10.1006/JSCO.1994.1049
description: scientific article; zbMATH DE number 762063