- Tytuł:
- The complexity of certain modal formulas on binary ramified subset trees
- Autorzy:
- Heinemann, B.
- Data publikacji:
- 1999
- Słowa kluczowe:
-
modal logic of subset spaces
binary ramified subset trees
satisfiability problem
complexity - Pokaż więcej
- Dostawca treści:
- BazTech