%0 Conference Paper %1 conf/alp/KennawayOV96 %A Kennaway, Richard %A van Oostrom, Vincent %A de Vries, Fer-Jan %B ALP %D 1996 %E Hanus, Michael %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 254-268 %T Meaningless Terms in Rewriting. %U http://dblp.uni-trier.de/db/conf/alp/alp96.html#KennawayOV96 %V 1139 %@ 3-540-61735-3

@inproceedings{conf/alp/KennawayOV96, added-at = {2019-09-16T00:00:00.000+0200}, author = {Kennaway, Richard and van Oostrom, Vincent and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/23ed18e1480f0fef404a2b36f943f4624/dblp}, booktitle = {ALP}, crossref = {conf/alp/1996}, editor = {Hanus, Michael and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-61735-3_17}, interhash = {1eb706988963dc1140190e384ff8a72b}, intrahash = {3ed18e1480f0fef404a2b36f943f4624}, isbn = {3-540-61735-3}, keywords = {dblp}, pages = {254-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:37:25.000+0200}, title = {Meaningless Terms in Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp96.html#KennawayOV96}, volume = 1139, year = 1996 }