%0 Conference Paper %1 conf/lpar/CharlierA15 %A Charlier, Baudouin Le %A Atindehou, Mêton Mêton %B IWIL@LPAR %D 2015 %E Konev, Boris %E Schulz, Stephan %E Simon, Laurent %I EasyChair %K dblp %P 37-51 %T A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. %U http://dblp.uni-trier.de/db/conf/lpar/iwil2015.html#CharlierA15 %V 40

@inproceedings{conf/lpar/CharlierA15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Charlier, Baudouin Le and Atindehou, Mêton Mêton}, biburl = {https://www.bibsonomy.org/bibtex/2515aa0489b201967c362aff7873056f3/dblp}, booktitle = {IWIL@LPAR}, crossref = {conf/lpar/2015iwil}, editor = {Konev, Boris and Schulz, Stephan and Simon, Laurent}, ee = {https://doi.org/10.29007/jv63}, interhash = {13346307f5c7a9fc002e6fc9ae36d012}, intrahash = {515aa0489b201967c362aff7873056f3}, keywords = {dblp}, pages = {37-51}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:00.000+0200}, title = {A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.}, url = {http://dblp.uni-trier.de/db/conf/lpar/iwil2015.html#CharlierA15}, volume = 40, year = 2015 }