A Proof Method for Runtime Properties of Prolog Programs

You are here

TitleA Proof Method for Runtime Properties of Prolog Programs
Publication TypeConference Paper
Year of Publication1994
AuthorsPedreschi, D
Conference NameICLP
Taxonomy upgrade extras: