- Tytuł:
- Complexity of Normal Form Properties and Reductions for Term Rewriting Problems
- Autorzy:
- Verma, R.
- Data publikacji:
- 2009
- Słowa kluczowe:
-
term rewriting systems
decision problem
reduction
confluence
existence of normal form
uniqueness of normal forms
reachability
joinability
unique normalization - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł