Search
Browse
Templates
Query
[paper]
paperid
title
year
banks_node_id
conf/iclp/DuckKS08
Cadmium: An Implementation of ACD Term Rewriting.
2008
914913
Click
here
to go back to the BANKS homepage.
About BANKS
-
Help
-
People
-
Publications
IIT Bombay
>
CSE Department
>
Informatics Lab
Comments:
{sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in