Pages that link to "Item:Q2148827"
From MaRDI portal
The following pages link to A generalization of ordered-pair semantics (Q2148827):
Displaying 7 items.
- Tie-breaking semantics and structural totality (Q676419) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- Ordered semantic hyper tableaux (Q1869611) (← links)
- Semantics of MML query -- ordering (Q2852181) (← links)
- A Monotonic Higher-Order Semantic Path Ordering (Q2996192) (← links)
- Order-dual relational semantics for non-distributive propositional logics (Q4644475) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)