Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3337789.pdf (4MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Decision Procedures for Equationally Based Reasoning
Author(s):Hendrix, Joseph D.
Doctoral Committee Chair(s):Meseguer, José
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:Each of these theoretical topics have lead to the development of new libraries and tools. Two of the tools have already been used in external projects including our tree automata library's integration into the ACTAS protocol verification tool [126], and the order-sorted unification procedures use in the Maude-NRL protocol analyzer [49].
Issue Date:2008
Type:Text
Language:English
Description:252 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008.
URI:http://hdl.handle.net/2142/81828
Other Identifier(s):(MiAaPQ)AAI3337789
Date Available in IDEALS:2015-09-25
Date Deposited:2008


This item appears in the following Collection(s)

Item Statistics