MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Observational Equivalences for Logic Programs." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Observational Equivalences for Logic Programs
by Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo — 1992 — Proc. Joint Int'l Conf. and Symposium on Logic Programming
…Observational Equivalences for Logic Programs 1 Maurizio Gabbrielli, Giorgio Levi, Maria Chiara…
Cited by 15 (9 self) – Add To MetaCart

Observable Behaviors and Equivalences of Logic Programs
by Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo — 1992 — Information and Computation
…Observable Behaviors and Equivalences of Logic Programs Maurizio Gabbrielli 1;2 Giorgio Levi 1…
Cited by 9 (3 self) – Add To MetaCart

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
…. On the equivalence of semantics for normal logic programs, Journal of Logic Programming 22:211-222 (1995). 275 [Sat…
Add To MetaCart

unknown title
by unknown authors
… rapprochement observation equivalence logics of programs domains continuous functions Stone Duality Points…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB