[Lecture Notes in Computer Science] TAPSOFT '97: Theory and Practice of Software Development Volume 1214 || E-unification by means of tree tuple synchronized grammars
Bidoit, Michel, Dauchet, MaxVolume:
10.1007/BF
Year:
1997
Language:
english
DOI:
10.1007/bfb0030616
File:
PDF, 767 KB
english, 1997