Reactive Systems, (Semi-)Saturated Semantics and Coalgebras on Presheaves (2009)

by Filippo Bonchi, Ugo Montanari
Citations:1 - 0 self

Documents Related by Co-Citation

82 Andorra-I: A parallel prolog system that transparently exploits both and- and or-parallelism – V S Costa, D H D Warren, R Yang - 1991
11 A Theory of Observables for Logic Programs – Marco Comini, Giorgio Levi, Maria Chiara Meo - 1999
10 Logic Programming, Functional Programming, and Inductive Definitions – Lawrence C. Paulson, Lawrence C. Paulson, Andrew W. Smith, Andrew W. Smith - 1991
18 Logic programming and parallel complexity – P C Kanellakis - 1988
6 A Fibrational Semantics for Logic Programs – Y. Kinoshita, A.J. Power - 1996
4 On the Duality between Or-parallelism and And-parallelism in Logic Programming – Enrico Pontelli, Gopal Gupta - 1995
5 Fibrational semantics for many-valued logic programs – E Komendantskaya, J Power - 2008
2 Optimal Implementation of And-Or Parallel Prolog – Gopal Gupta, Vítor Santos Costa
14 Coinductive logic programming and its applications – G Gupta, A Bansal, R Min, L Simon, A Mallya - 2007
1 Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming – Ekaterina Komendantskaya, Guy Mccusker, John Power
3 On the algebraic structure of declarative programming languages – G Amato, J Lipton, R McGrail
2 Observable behaviors and equivalnences of logic programs – M Gabrielli, G Levi, M C Meo - 1995
2 On greatest fixpoint semantics of logic programming – M Jaume
1 L ’ 1 1 Coalgebraic Derivations in Logic Programming 3 A. Asperti and – C S - 1989
12 Co-Logic Programming: Extending Logic Programming with Coinduction – Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta - 2006
1858 Foundation of Logic Programming – J W Lloyd - 1987
100 The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Applied Logic Series – D J Pym - 2002
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller