Pages that link to "Item:Q774393"
From MaRDI portal
The following pages link to Investigations in many-sorted quantor logic (Q774393):
Displayed 14 items.
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- Unification theory (Q1124375) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- R n - and G n -logics (Q4645806) (← links)
- Term rewriting systems with sort priorities (Q4876348) (← links)