%0 Journal Article %1 journals/corr/abs-1708-04976 %A Babu, Jasine %A Krishnan, K. Murali %A Paleri, Vineeth %D 2017 %J CoRR %K dblp %T A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks. %U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-04976 %V abs/1708.04976

@article{journals/corr/abs-1708-04976, added-at = {2021-03-24T00:00:00.000+0100}, author = {Babu, Jasine and Krishnan, K. Murali and Paleri, Vineeth}, biburl = {https://www.bibsonomy.org/bibtex/2584a5c01825ef6c0e8d0769b5097b87b/dblp}, ee = {http://arxiv.org/abs/1708.04976}, interhash = {d38ef20c4b80c51dfd8f4f57b801d19d}, intrahash = {584a5c01825ef6c0e8d0769b5097b87b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:52:16.000+0200}, title = {A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-04976}, volume = {abs/1708.04976}, year = 2017 }