Parallel algorithms for free and associative-commutative unification
A survey of algorithms for free unification is given, followed by an overview of the computability and complexity of unification problems. Second-order unification is known to be undecidable, and a proof is given that the first-order problem is also undecidable under an arbitrary set of axioms. A n...
প্রধান লেখক: | Hains, G |
---|---|
অন্যান্য লেখক: | McColl, B |
বিন্যাস: | গবেষণাপত্র |
ভাষা: | English |
প্রকাশিত: |
1989
|
বিষয়গুলি: |
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
On the commutativity of the powerspace constructions
অনুযায়ী: Matthew de Brecht, অন্যান্য
প্রকাশিত: (2019-08-01) -
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
অনুযায়ী: Andrew M Marshall, অন্যান্য
প্রকাশিত: (2015-06-01) -
Exact Unification and Admissibility
অনুযায়ী: George Metcalfe, অন্যান্য
প্রকাশিত: (2015-09-01) -
Big data in multi-block data analysis: An approach to parallelizing Partial Least Squares Mode B algorithm
অনুযায়ী: Alba Martinez-Ruiz, অন্যান্য
প্রকাশিত: (2019-04-01) -
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
অনুযায়ী: Robert W. J. Furber, অন্যান্য
প্রকাশিত: (2015-06-01)