University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 8
Dept. of Computer Science 8
Graduate Dissertations and Theses at Illinois 1

Collection

Research and Tech Reports - Computer Science 7
Dissertations and Theses - Computer Science 1
Graduate Dissertations and Theses at Illinois 1

Author(s)

Hendrix, Joe 3
Hendrix, Joseph D. 3
Ohsaki, Hitoshi 3
Meseguer, José 2
Chen, Xiaohong 1
Escobar, Santiago 1
Lucanu, Dorel 1
Roşu, Grigore 1
Viswanathan, Mahesh 1

Keyword(s)

computer science 5
Computer Science 2
Initial algebra semantics 1
induction 1
matching logic 1
tree automata 1

Type of Resource

text 8

↑ ↓

Showing 1–8 of 8 items

Thumbnail for Combining Equational Tree Automata Over AC and ACI Theories

Combining Equational Tree Automata Over AC and ACI Theories

Hendrix, Joe; Ohsaki, Hitoshi

Thumbnail for Propositional Tree Automata

Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh

Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata

Sufficient Completeness Checking with Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Symbolic Model Checking of Infinite-State Systems Using Narrowing

Symbolic Model Checking of Infinite-State Systems Using Narrowing

Escobar, Santiago; Meseguer, José

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 5?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)