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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Monograph | Conference or workshop item | Thesis
Number of items: 5.

Monograph

Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. Technical report. , Kent, CT2 7NF, UK
[img]
Preview
[img]
Preview

Smaus, Jan-Georg (1998) Well-Terminating, Input-Driven Logic Programs. Technical report. University of Kent
[img]
Preview
[img]
Preview

Conference or workshop item

Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. In: De Schreye, Danny, ed. Logic Programming: Proceedings of the 1999 International Conference on Logic Programming. Logic Programming. MIT Press pp. 335-349. ISBN 0-262-54104-1.
[img]
Preview
[img]
Preview

Thesis

Smaus, Jan-Georg (1999) Modes and Types in Logic Programming. PhD thesis, University of Kent at Canterbury.
[img]
Preview
[img]
Preview

Smaus, Jan-Georg (1996) Resolution K-Transformations. Masters thesis, Universitaet des Saarlandes (Max-Planck-Institut fuer Informatik).
[img]
Preview
[img]
Preview

This list was generated on Sun May 19 19:33:29 2013 BST.
University of Kent | About this repository | Feedback | Latest additions