- Tytuł:
- Automata-Theoretic Decision Procedures for Information Logics
- Autorzy:
-
Demri, S.
Sattler, U. - Data publikacji:
- 2002
- Słowa kluczowe:
-
computational complexity
Büchi tree automaton
information logic
hybrid logic - Pokaż więcej
- Dostawca treści:
- BazTech