Pages that link to "Item:Q4452646"
From MaRDI portal
The following pages link to An interactive semantics of logic programming (Q4452646):
Displaying 14 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (Q2841275) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- (Q2851050) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- GETGRATS (Q4923529) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
