Pages that link to "Item:Q4557745"
From MaRDI portal
The following pages link to Declarative Logic Programming: Theory, Systems, and Applications (Q4557745):
Displaying 8 items.
- Modularization and abstraction in logic programming (Q1077915) (← links)
- Declarative programming: a logical view (Q2841254) (← links)
- (Q3348437) (← links)
- (Q3471707) (← links)
- An approach to declarative programming based on a rewriting logic (Q4700443) (← links)
- (Q5020574) (← links)
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (Q5747747) (← links)
- Aspmc: new frontiers of algebraic answer set counting (Q6566624) (← links)