Symbolic constraint handling through unification in finite algebras
From MaRDI portal
Publication:757060
DOI10.1007/BF01810294zbMath0723.68051MaRDI QIDQ757060
Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén, Wolfram Buettner
Publication date: 1990
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
Related Items