%0 Conference Paper %1 conf/ctrs/Banach92 %A Banach, Richard %B CTRS %D 1992 %E Rusinowitch, Michaël %E Rémy, Jean-Luc %I Springer %K dblp %P 51-66 %T Simple Type Inference for Term Graph Rewriting Systems. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#Banach92 %V 656 %@ 3-540-56393-8

@inproceedings{conf/ctrs/Banach92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/234e6ccc9688d8916a3d0a96f760ec816/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1992}, editor = {Rusinowitch, Michaël and Rémy, Jean-Luc}, ee = {https://doi.org/10.1007/3-540-56393-8_4}, interhash = {ab97d9abbe25e0dd7ed7c1516c80d910}, intrahash = {34e6ccc9688d8916a3d0a96f760ec816}, isbn = {3-540-56393-8}, keywords = {dblp}, pages = {51-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-09T11:47:27.000+0200}, title = {Simple Type Inference for Term Graph Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#Banach92}, volume = 656, year = 1992 }