- Tytuł:
- On the Influence of Confluence in Modal Logics
- Autorzy:
- Gasquet, O.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
modal logic
tableaux
confluence
complexity
satisfaction problem
tiling problem
NEXPTIME-completeness - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł