Browse by Person (creator, editor, contributor, etc.)

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Book section

Number of items: 2.

Book section

King, Andy and Lu, L. and Genaim, S. (2006) Detecting Determinacy in Prolog Programs. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer-Verlag, Berlin, pp. 132-147. ISBN 978-3-540-36635-5.

Preview

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.

Preview

This list was generated on Sun May 19 06:48:06 2013 BST.