Conference Papers
Year : 2013
Filippo Bonchi : Connect in order to contact the contributor
https://inria.hal.science/hal-00909394
Submitted on : Tuesday, November 26, 2013-11:10:37 AM
Last modification on : Thursday, May 11, 2023-11:56:10 AM
Cite
Luis Pino, Filippo Bonchi, Frank D. Valencia. Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩. ⟨hal-00909394⟩
Collections
303
View
0
Download