Publications

Export 1 results:
Sort by: [ Author  (Asc)] Title Type Year
A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
B
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