Items where Author is "Apt, Krzysztof R."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Report
Number of items: 4.


CT-1994-08: Apt, Krzysztof R. and van Emde Boas, Peter and Welling, Angelo (1994) The STO-problem is NP-hard. [Report]

CT-1993-06: Apt, Krzysztof R. (1993) Declarative programming in Prolog. [Report]

CT-1992-03: Apt, Krzysztof R. and Doets, Kees (1992) A new Definition of SLDNF-resolution. [Report]

CT-1991-12: Apt, Krzysztof R. and Pedreschi, Dino (1991) Reasoning about Termination of Prolog Programs. [Report]

This list was generated on Sat Jan 23 00:31:28 2021 CET.