- Tytuł:
- N-axioms Parallel Unification
- Autorzy:
-
Bellia, M.
Occhiuto, M.E. - Data publikacji:
- 2003
- Słowa kluczowe:
-
N-axioms unification
PRAM algorithms
complexity classes
graph contractions
interleaving variables - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł