Set constraints in some equational theories
type: Item
instance of: scholarly article
title: Set constraints in some equational theories
zbMATH Open document ID: 1034.68505
author: Witold Charatonik
published in: Information and Computation
publication date: 2002-11-24T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1220926
MaRDI profile type: Publication
OpenAlex ID: W2098303102
cites work: Solvable cases of the decision problem
cites work: Q4525271
cites work: Syntacticness, cycle-syntacticness and shallow theories
cites work: Q4281553
cites work: Q3862379
cites work: Q4525285
cites work: Complexity results for classes of quantificational formulas
cites work: Q5585029
DOI: 10.1006/INCO.1997.2692
description: scientific article; zbMATH DE number 1220926