Searching for "Set Based Logic Programming." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Set Based Logic Programming
by Blair Marek Remmel, H. A. Blair, V. W. Marek, J. B. Remmel, A. Rivera
…Set Based Logic Programming H.A. Blair 1 , V.W. Marek 2 , J.B. Remmel 3 , and A. Rivera 1 1 EECS…
Add To MetaCart

Infinite state model checking by abstract interpretation and program specialisation
by Michael Leuschel, Thierry Massart — 1999 — Proceedings of LOPSTR '99
… model checking [36] and set-based logic program analysis for model checking is explored in [7]. However…
Cited by 36 (20 self) – Add To MetaCart

Showing 1 through 2.

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