Date of Award
1-1-2017
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, 16 pages)
Dissertation/Thesis Chair
Paliath Narendran
Keywords
higher-order unification, lambda calculus, unification, Lambda calculus, Logic, Symbolic and mathematical, Computer logic, Decidability (Mathematical logic)
Subject Categories
Computer Sciences
Abstract
Unification deals with the solving of equations over terms. Higher-order unification extends
Recommended Citation
Hono, Daniel, "Some problems from higher-order unification" (2017). Legacy Theses & Dissertations (2009 - 2024). 1848.
https://scholarsarchive.library.albany.edu/legacy-etd/1848