Equational formulas in order-sorted algebras

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032066 ◽

2005 ◽

pp. 674-688 ◽

Cited By ~ 20

Author(s):

Hubert Comon

Download Full-text