Pages that link to "Item:Q456472"
From MaRDI portal
The following pages link to Maintaining distributed logic programs incrementally (Q456472):
Displaying 6 items.
- Maintaining distributed logic programs incrementally (Q456472) (← links)
- Distributed programming with logic tuple spaces (Q1329178) (← links)
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Efficient incremental maintenance for distributive and non-distributive aggregate functions (Q2508378) (← links)
- (Q5020975) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)