Temat: Computational complexity

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Computational complexity" wg kryterium: Temat

Wyświetlanie 1-4 z 4

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Relative Nondeterministic Information Logic is EXPTIME-complete
Autorzy:: Demri, S.
Orłowska, E.
Data publikacji:: 2007
Słowa kluczowe:: information logic
relative frame
computational complexity
Büchi tree automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The nondeterministic information logic NIL is PSPACE-complete
Autorzy:: Demri, S.
Data publikacji:: 2000
Słowa kluczowe:: information systems
multimodal logic
computational complexity
Ladner-like algorithm; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Computational complexity of multimodal logics based on rough sets
Autorzy:: Demri, S.
Stepaniuk, J.
Data publikacji:: 2000
Słowa kluczowe:: rough sets
tolerance rough sets
multimodal logic
computational complexity
Ladner-style algorithm; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "Computational complexity" wg kryterium: Temat