Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
2019
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