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
বিষয়গুলি:

অনুরূপ উপাদানগুলি