Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Keyword(s):
2012 ◽
Vol 33
(7)
◽
pp. 1369-1385
◽
Keyword(s):
Keyword(s):
1991 ◽
pp. 177-186
◽
Keyword(s):
1996 ◽
Vol 97
(1-2)
◽
pp. 53-62
◽
Keyword(s):