Searching for "Refining Specifications to 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.

Refining Specifications to Logic Programs
by I. J. Hayes, I. J. Hayes, R. G. Nickson, R. G. Nickson, P. A. Strooper, P. A. Strooper — 1996 — Logic Program Synthesis and Transformation. Proc. of the 6th Int. Workshop, LOPSTR'96
… Queensland 4072 Australia TECHNICAL REPORT No. 96-34 Refining specifications to logic programs I. J. Hayes R…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 1.

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