Pages that link to "Item:Q4876388"
From MaRDI portal
The following pages link to Foundations of linear-time logic programming (Q4876388):
Displaying 6 items.
- Dealing with multiple granularity of time in temporal logic programming (Q679341) (← links)
- Linear time Datalog and branching time logic (Q2734948) (← links)
- On the computational complexity of stratified negation in linear-time temporal logic programming (Q2758303) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- (Q4028123) (← links)
- Extending Temporal Logic Programming with Choice Predicates Non-determinism (Q4323007) (← links)