%0 Conference Paper %1 journals/entcs/Ayala-RinconFGO16 %A Ayala-Rincón, Mauricio %A Fernández, Maribel %A Gabbay, Murdoch James %A Oliveira, Ana Cristina Rocha %B LSFA %D 2015 %E Benevides, Mario R. F. %E Thiemann, René %I Elsevier %K dblp %P 39-56 %T Checking Overlaps of Nominal Rewriting Rules. %U http://dblp.uni-trier.de/db/journals/entcs/entcs323.html#Ayala-RinconFGO16 %V 323

@inproceedings{journals/entcs/Ayala-RinconFGO16, added-at = {2022-08-16T00:00:00.000+0200}, author = {Ayala-Rincón, Mauricio and Fernández, Maribel and Gabbay, Murdoch James and Oliveira, Ana Cristina Rocha}, biburl = {https://www.bibsonomy.org/bibtex/2375028cbc0bde51925f2e3c8dc1ccd84/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2015}, editor = {Benevides, Mario R. F. and Thiemann, René}, ee = {https://www.wikidata.org/entity/Q113317685}, interhash = {1a6e824e1e3736d7f979e7c3d05b20b1}, intrahash = {375028cbc0bde51925f2e3c8dc1ccd84}, keywords = {dblp}, pages = {39-56}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:45.000+0200}, title = {Checking Overlaps of Nominal Rewriting Rules.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs323.html#Ayala-RinconFGO16}, volume = 323, year = 2015 }