%0 Conference Paper %1 conf/isaim/TruszczynskiW08 %A Truszczynski, Miroslaw %A Woltran, Stefan %B ISAIM %D 2008 %K dblp %T Hyperequivalence of Programs and Operators. %U http://dblp.uni-trier.de/db/conf/isaim/isaim2008.html#TruszczynskiW08

@inproceedings{conf/isaim/TruszczynskiW08, added-at = {2020-03-12T00:00:00.000+0100}, author = {Truszczynski, Miroslaw and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2376f2551bc8be2df71865caf0069865b/dblp}, booktitle = {ISAIM}, crossref = {conf/isaim/2008}, ee = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/MTruszczynski-ss1.pdf}, interhash = {08e1e3911e49bfb03f2891c7b745501a}, intrahash = {376f2551bc8be2df71865caf0069865b}, keywords = {dblp}, timestamp = {2020-03-13T12:54:13.000+0100}, title = {Hyperequivalence of Programs and Operators.}, url = {http://dblp.uni-trier.de/db/conf/isaim/isaim2008.html#TruszczynskiW08}, year = 2008 }