Sciweavers

TOPLAS
1998

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

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