Back to results
University of Illinois at Urbana-Champaign
Semantic unification for convergent systems
Abstract
dc:descriptionEquation solving is the process of finding a substitution of terms for variables that makes two terms equal in a given theory, while semantic unification is the process that generates a basis set of such unifying substitutions. A simpler variant of the problem is semantic matching, where the substitution is made in only one of the terms. Semantic unification and matching constitute an important component of theorem proving and programming language interpreters.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2011
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Mitra, Subrata
- Contributors dc:contributor
-
- Dershowitz, Nachum
Subjects
dc:subject × 1Rights
dc:rights- Statement dc:rights
-
- Copyright 1994 Mitra, Subrata
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
-
AAI9512489
(UMI)AAI9512489 - OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/20259