Consistency of equational enrichments

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013077 ◽

2005 ◽

pp. 393-402 ◽

Cited By ~ 1

Author(s):

Valentin Antimirov ◽

Anatoli Degtyarev