Date of Award
1-1-2018
Language
English
Document Type
Master's Thesis
Degree Name
Master of Science (MS)
College/School/Department
Department of Computer Science
Content Description
1 online resource (ii, iii, 9, pages) : illustrations
Dissertation/Thesis Chair
Paliath Narendran
Committee Members
Jeong-Hyon Hwang
Keywords
associative, associative-commutative, decidable, modulo theory, unification, Decidability (Mathematical logic), Commutative algebra, Associative algebras, Operator theory
Subject Categories
Computer Sciences
Abstract
We study decidability of a term rewriting system R modulo equational theories associative (A) or associative-commutative (AC). The study of this problem is motivated by possible applications to handle multiplication (∗) and division (/) algebras. We use several steps to prove the term rewriting system R modulo equational theories is decidable.
Recommended Citation
Dai, Zhenjiang, "Decidability of unification modulo two theories of division" (2018). Legacy Theses & Dissertations (2009 - 2024). 2037.
https://scholarsarchive.library.albany.edu/legacy-etd/2037