Searching for "Logic Programs as Types for Logic Programs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

On the Use of Logical Abduction in Software Engineering
by Alessandra Russo, Bashar Nuseibeh — 2000 — In S. K. Chang (Eds.), (To appear in) Handbook in Software Engineering and Knowledge Engineering World Scientific Publishing Corporation
… types of (extended) logic programs (e.g., logic programs with classical negation). We will describe here…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB