Browse by Person (creator, editor, contributor, etc.)
Number of items: 8. Book section
|
Li, Xuan and King, Andy and Lu, Lunjin
(2006)
Collapsing Closures.
In: Etalle, Sandro and Truszczynski, Mirek, eds.
Logic Programming.
Lecture Notes in Computer Science, 4079
.
Springer Berlin / Heidelberg, pp. 148-162.
ISBN 978-3-540-36635-5.
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)  Preview |
|
|
Li, Xuan and King, Andy and Lu, Lunjin
(2006)
Lazy Set-Sharing Analysis.
In: Wadler, Philip and Hagiya, Masimi, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science, 3945
.
Springer Berlin / Heidelberg, pp. 177-191.
ISBN 978-3-540-33438-5.
|
 Preview |
|
|
Lu, Lunjin and King, Andy
(2005)
Determinacy inference for logic programs.
In: Sagiv, Mooly, ed.
Programming Languages and Systems.
Springer-Verlag, Berlin, pp. 108-123.
ISBN 9783540254355.
The full text of this publication is not available from this repository.
|
|
Monograph
Conference or workshop item
|
King, Andy and Lu, Lunjin
(2003)
Forward versus Backward Verification of Logic Programs.
In: Palamidessi, Catuscia, ed.
Logic Programming.
Lecture Notes in Computer Science, 2916.
Springer-Verlag
pp. 315-330.
ISBN 3-540-20642-6 .
The full text of this publication is not available from this repository.
|
|
This list was generated on Tue May 21 16:02:07 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
