Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups
-
Published:2004-07
Issue:3
Volume:9
Page:167-192
-
ISSN:1383-7133
-
Container-title:Constraints
-
language:en
-
Short-container-title:Constraints
Author:
Godoy Guillem,Nieuwenhuis Robert
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software