User menu

A Method to Simplify Expressions: Intuition and Preliminary Experimental Results

Bibliographic reference Le Charlier, Baudouin ; Atindehou, Mêton Mêton. A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.IWIL-2015. 11th International Workshop on the Implementation of Logics (Suva, Fiji, 23/11/2015). In: Boris Konev and Stephan Schulz and Laurent Simon, IWIL-2015. 11th International Workshop on the Implementation of Logics, 2015
Permanent URL http://hdl.handle.net/2078.1/177144