A solution of the complement problem in associatiue-commutatiue theories

Mathematical Foundations of Computer Science 1991 - Lecture Notes in Computer Science ◽

10.1007/3-540-54345-7_72 ◽

1991 ◽

pp. 287-297 ◽

Cited By ~ 2

Author(s):

Kounalis Emmanuel ◽

Lugiez Denis ◽

Pottier Loic

Download Full-text