Publications

Export 1 results:
Sort by: Author Title [ Type (Asc)] Year
Conference Proceedings
Babu, J, Krishnan KM, Paleri V.  2019.  A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks. ICLA 2019. :160-172., Berlin: Springer