Howe, J.M. and King, A.
(2000)
Specialising Finite Domain Programs using Polyhedra.
In: Bossi, A., ed.
Lecture Notes In Computer Science.
Lecture Notes in Computer Science, 1817.
Springer-Verlag
pp. 118-135.
ISBN 978-3-540-67628-7.
Preview
Smaus, J.G. and Hill, P. and King, A.
(2000)
Mode Analysis Domains for Typed Logic Programs.
In: 9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'99), Sep 22-24, 1999, Venice, Italy,.
Preview
Preview
This list was generated on Fri May 24 23:15:36 2013 BST.
![[img]](http://kar.kent.ac.uk/style/images/fileicons/other.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
