User menu

A Data Structure to Handle Large Sets of Equal Terms

Bibliographic reference Le Charlier, Baudouin ; Atindehou, Mêton Mêton. A Data Structure to Handle Large Sets of Equal Terms.SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science (Ochanomizu University, Tokyo, du 28/03/2016 au 31/03/2016). In: James H. Davenport and Fadoua Ghourabi, SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, 2016, p. 81-94
Permanent URL http://hdl.handle.net/2078.1/173293