Pages that link to "Item:Q3833654"
From MaRDI portal
The following pages link to Unification: a multidisciplinary survey (Q3833654):
Displayed 10 items.
- A graph unification machine for NL parsing (Q597235) (← links)
- Verification conditions are code (Q855274) (← links)
- Semantic networks (Q1202620) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- The Kreisel length-of-proof problem (Q1353977) (← links)
- Relaxed unification -- proposal (Q1431877) (← links)
- Analogical program derivation based on type theory (Q1802072) (← links)
- A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
- Source-tracking unification (Q2568436) (← links)
- (Q3994022) (← links)