%0 Conference Paper %1 journals/entcs/MouraBAK11 %A de Moura, Flávio L. C. %A Barbosa, A. V. %A Ayala-Rincón, Mauricio %A Kamareddine, Fairouz %B LSFA %D 2010 %E Haeusler, Edward Hermann %E del Cerro, Luis Fariñas %I Elsevier %K dblp %P 41-54 %T A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. %U http://dblp.uni-trier.de/db/journals/entcs/entcs269.html#MouraBAK11 %V 269

@inproceedings{journals/entcs/MouraBAK11, added-at = {2021-02-12T00:00:00.000+0100}, author = {de Moura, Flávio L. C. and Barbosa, A. V. and Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/2cb7dced208436f520c9da5f57858e689/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2010}, editor = {Haeusler, Edward Hermann and del Cerro, Luis Fariñas}, ee = {https://www.wikidata.org/entity/Q58001424}, interhash = {28223a367bdb8598974ee29cea550b0b}, intrahash = {cb7dced208436f520c9da5f57858e689}, keywords = {dblp}, pages = {41-54}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:47.000+0200}, title = {A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs269.html#MouraBAK11}, volume = 269, year = 2010 }