Skip to content

Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs

M. R. K. Krishna Rao, R. K. Shyamasundar

VenueBSAS
Year1995
ProceedingsSAS

Browse the full SAS paper archive.