Date of Award
1-1-2012
Language
English
Document Type
Dissertation
Degree Name
Doctor of Philosophy (PhD)
College/School/Department
Department of Computer Science
Content Description
1 online resource (ix, 87 pages) : illustrations (some color)
Dissertation/Thesis Chair
Paliath Narendran
Keywords
Algorithms, Equational Unification, Automated deduction, Logic programming, Cryptography, Computer science
Subject Categories
Computer Sciences
Abstract
The techniques and tools of unification theory have long been a core component of many
Recommended Citation
Marshall, Andrew, "Equational unification : algorithms and complexity with applications to cryptographic protocol analysis" (2012). Legacy Theses & Dissertations (2009 - 2024). 693.
https://scholarsarchive.library.albany.edu/legacy-etd/693