We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via https://forms.illinois.edu/sec/4069811

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