Sciweavers

TOPLAS
1998

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs

13 years 6 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift
Related Content
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TOPLAS
Authors Konstantinos F. Sagonas, Terrance Swift
Comments (0)