%0 Conference Paper %1 conf/ershov/Sabelfeld96 %A Sabelfeld, Viktor K. %B Ershov Memorial Conference %D 1996 %E Bjørner, Dines %E Broy, Manfred %E Pottosin, Igor V. %I Springer %K dblp %P 350-361 %T The Tree Equivalence Problem for Linear Recursion Schemes. %U http://dblp.uni-trier.de/db/conf/ershov/ershov1996.html#Sabelfeld96 %V 1181 %@ 3-540-62064-8

@inproceedings{conf/ershov/Sabelfeld96, added-at = {2017-05-21T00:00:00.000+0200}, author = {Sabelfeld, Viktor K.}, biburl = {https://www.bibsonomy.org/bibtex/203c46948de05495f76dfd96334f9bb87/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/1996}, editor = {Bjørner, Dines and Broy, Manfred and Pottosin, Igor V.}, ee = {https://doi.org/10.1007/3-540-62064-8_29}, interhash = {b8f8ad2dc1b6166254042f92f0e34542}, intrahash = {03c46948de05495f76dfd96334f9bb87}, isbn = {3-540-62064-8}, keywords = {dblp}, pages = {350-361}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:04:07.000+0200}, title = {The Tree Equivalence Problem for Linear Recursion Schemes.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov1996.html#Sabelfeld96}, volume = 1181, year = 1996 }