HEAL DSpace

Preserving Termination of Tabled Logic Programs While Unfolding

DSpace/Manakin Repository

Preserving Termination of Tabled Logic Programs While Unfolding

Leuschel, M; Martens, B; Sagonas, K
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/33846
Date: 1997

Show full item record

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)