Back to Results
First PageMeta Content
Completeness / Symbol / Logic / Knowledge / Statistical theory / Metalogic / Model theory


Sufficient Completeness Checking with Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki 2,3 , and Jos´e Meseguer1
Add to Reading List

Document Date: 2006-03-01 13:14:48

Open Document

File Size: 328,65 KB

Share Result on Facebook

/

Facility

University of Illinois / National Institute of Advanced Industrial Science / /

IndustryTerm

sufficient completeness checking algorithms / early algorithm / term rewriting systems / sufficient completeness tool / conditional term rewriting systems / /

Organization

National Institute of Advanced Industrial Science and Technology / Japan Science and Technology Agency / University of Illinois / /

Person

Nat / Qk / Maude Sufficient Completeness Checker / Ai / Spike / Hitoshi Ohsaki / /

Technology

early algorithm / sufficient completeness checking algorithms / checking algorithm / /

SocialTag