Cadmium: An Implementation of ACD Term Rewriting

Gregory J Duck; Leslie De Koninck; Peter J Stuckey

Conference Proceedings

Cadmium: An Implementation of ACD Term Rewriting

Gregory J Duck, Leslie De Koninck, Peter J Stuckey, MG DelaBanda, E Pontelli

Logic Programming (Lecture Notes in Computer Science) | SPRINGER-VERLAG BERLIN | Published : 2008

DOI: 10.1007/978-3-540-89982-2_45

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Grants

Funding Acknowledgements

Research funded by a Ph.D. grant of the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen).NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program.