Vineeth Paleri
Professor, Department of Computer Science and Engineering
National Institute of Technology Calicut, Kerala, INDIA
(email)
Curriculum Vitae
Research
Publications
Classes
Presentations
Contact
DBLP
Google Scholar
Publications
Export 1 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
[
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
]
F
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
] 