Author: "Joe Hendrix" / Journal: rta - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Joe Hendrix"' showing total 4 results

Start Over Author "Joe Hendrix" Journal rta

4 results on '"Joe Hendrix"'

1. Combining Equational Tree Automata over AC and ACI Theories.

Author: Joe Hendrix and Hitoshi Ohsaki
Published: 2008
Full Text: View/download PDF

2. On the Completeness of Context-Sensitive Order-Sorted Specifications.

Author: Joe Hendrix and José Meseguer 0001
Published: 2007
Full Text: View/download PDF

3. Propositional Tree Automata.

Author: Joe Hendrix, Hitoshi Ohsaki, and Mahesh Viswanathan 0001
Published: 2006
Full Text: View/download PDF

4. A Sufficient Completeness Reasoning Tool for Partial Specifications.

Author: Joe Hendrix, Manuel Clavel, and José Meseguer 0001
Published: 2005
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results