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



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


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
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
Description:252 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008.
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