Relaxed unification -- proposal
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2088067
- scientific article; zbMATH DE number 2209392
- scientific article; zbMATH DE number 4053011
- scientific article; zbMATH DE number 3957052
- Semi-unification
- scientific article; zbMATH DE number 4092757
- Hints in Unification
- Generalizations of unification
- scientific article; zbMATH DE number 4016225
- Unification through projectivity
Cites work
- A graph unification machine for NL parsing
- A Machine-Oriented Logic Based on the Resolution Principle
- An Efficient Unification Algorithm
- Evidential support logic programming
- Fuzzy Logic and the Resolution Principle
- scientific article; zbMATH DE number 897462 (Why is no real title available?)
- Unification: a multidisciplinary survey
Cited in
(2)
This page was built for publication: Relaxed unification -- proposal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1431877)