Keyword:confluence

Publications
Confluence for Proof-Nets via Parallel Cut Elimination Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Critical Pair Analysis in Nominal Rewriting Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science