An interactive semantics of logic programming
From MaRDI portal
Publication:4452646
DOI10.1017/S1471068401000035zbMath1066.68512OpenAlexW2132981613MaRDI QIDQ4452646
Roberto Bruni, Francesca Rossi, Ugo Montanari
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068401000035
Related Items (14)
Rewriting logic: Roadmap and bibliography ⋮ Exploiting parallelism in coalgebraic logic programming ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ A semantic framework for open processes ⋮ Logic programming: laxness and saturation ⋮ Unnamed Item ⋮ GETGRATS ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming ⋮ A Connector Algebra for P/T Nets Interactions ⋮ Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic ⋮ Comparing cospan-spans and tiles via a Hoare-style process calculus
This page was built for publication: An interactive semantics of logic programming
