Pages that link to "Item:Q1199813"
From MaRDI portal
The following pages link to Multimodal logic programming using equational and order-sorted logic (Q1199813):
Displaying 9 items.
- Programming in metric temporal logic (Q1128978) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Using resolution for testing modal satisfiability and building models (Q1610669) (← links)
- Multimodal logic programming (Q2503328) (← links)
- Modal logic programming revisited (Q3647295) (← links)
- (Q4580320) (← links)
- Multi-modal logic programming using equational and order-sorted logic (Q5096187) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)
