Journal of the ACM (JACM)
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
Compiling a functional logic language: the basic scheme
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Hi-index | 0.00 |