1994
Reasoning about prolog programs: from modes through types to assertions
Publication
Publication
Formal Aspects of Computing , Volume 6 - Issue 6A p. 743- 765
Additional Metadata | |
---|---|
Springer | |
Formal Aspects of Computing | |
Organisation | Logic and language |
Apt, K., & Marchiori, E. (1994). Reasoning about prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6(6A), 743–765. |