Date of Award

1-1-2018

Language

English

Document Type

Dissertation

Degree Name

Doctor of Philosophy (PhD)

College/School/Department

Department of Computer Science

Content Description

1 online resource (viii, 47 pages) : illustrations.

Dissertation/Thesis Chair

Paliath Narendran

Committee Members

Daniel J. Dougherty, Neil V. Murray

Keywords

Common Equation, Common Term, Computational Logic, Dual to Unification Problem, Equational Unification, Fixed Point, Rewriting systems (Computer science), Equations, Theory of, Fixed point theory, Computer algorithms, Computational complexity

Subject Categories

Computer Sciences

Abstract

Unification, with or without background theories such as associativity and commutativity,

Download

Share

COinS