2026-09-21T13:13:01Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/81828 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Meseguer, José Hendrix, Joseph D. 2015-09-25T20:20:36Z 2015-09-25T20:20:36Z 10000-01-01 2008 2008 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]. Made available in DSpace on 2015-09-25T20:20:36Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3337789.pdf: 3861233 bytes, checksum: e9bf80610bf6e57c1843033028211ae3 (MD5) Previous issue date: 2008 Embargo set by: Seth Robbins for item 83109 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs U of I Only 252 p. Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008. http://hdl.handle.net/2142/81828 (MiAaPQ)AAI3337789 eng Computer Science Decision Procedures for Equationally Based Reasoning text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.