Creus, C., Godoy, G., Massanes, F., & Tiwari, A. (2013). Non-linear rewrite closure and weak normalization. Journal of Automated Reasoning, 51(3), 281-324.
Share this
Non-Linear Rewrite Closure and Weak Normalization
Creus, C., Godoy, G., Massanes, F., & Tiwari, A. (2013). Non-linear rewrite closure and weak normalization. Journal of Automated Reasoning, 51(3), 281-324.
Share this
