Automatic autoprojection of recursive equations with global variables and abstract data types
1991 ◽
Vol 16
(2)
◽
pp. 151-195
◽
Keyword(s):
Keyword(s):
Keyword(s):
2007 ◽
Vol 17
(3)
◽
pp. 183-203
◽