%0 Conference Paper %1 conf/icalp/BarbaneraF93 %A Barbanera, Franco %A Fernández, Maribel %B ICALP %D 1993 %E Lingas, Andrzej %E Karlsson, Rolf G. %E Carlsson, Svante %I Springer %K dblp %P 657-668 %T Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. %U http://dblp.uni-trier.de/db/conf/icalp/icalp93.html#BarbaneraF93 %V 700 %@ 3-540-56939-1

@inproceedings{conf/icalp/BarbaneraF93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Barbanera, Franco and Fernández, Maribel}, biburl = {https://www.bibsonomy.org/bibtex/255c3a5d843fbefaab4bc221f93d036bc/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1993}, editor = {Lingas, Andrzej and Karlsson, Rolf G. and Carlsson, Svante}, ee = {https://doi.org/10.1007/3-540-56939-1_110}, interhash = {e67497029f76dfc290c2d7e27af99f9f}, intrahash = {55c3a5d843fbefaab4bc221f93d036bc}, isbn = {3-540-56939-1}, keywords = {dblp}, pages = {657-668}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:26:37.000+0200}, title = {Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp93.html#BarbaneraF93}, volume = 700, year = 1993 }