Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
22.7% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Открыть LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]
University of Amsterdam
Facundo Matias Carreiro
ϕ
automata
formula
foe1
equivalent
step
pdl
fixpoint
additive
proposition
fragment
theorem
automaton
µml
prove
finite
fo1
formulas
continuous
parity
define
lemma
transition
logics
map
modal
fragments
defined
µc
observe
wmso
ml1
mso
µfoe
cited
trees
models
monotone
µa
strategy
consider
additivity
sorted
element
calculus
wcl
assume
corollary
continuity
dissertation
Год:
2015
Язык:
english
Файл:
PDF, 2.06 MB
Ваши теги:
0
/
0
english, 2015
2
Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
Springer-Verlag Berlin Heidelberg
Michał Skrzypczak (auth.)
trees
automaton
theorem
automata
finite
mso
infinite
assume
exists
definable
lemma
rank
sect
ranked
deterministic
strategy
unambiguous
wmso
accepting
proposition
reach
define
winning
defined
contains
consistent
nodes
algebras
büchi
branch
marking
node
conjecture
alternating
recognised
consider
sets
prove
function
transition
borel
homomorphism
observe
parity
transitions
profinite
runs
formula
separation
complexity
Год:
2016
Язык:
english
Файл:
PDF, 3.15 MB
Ваши теги:
0
/
0
english, 2016
3
Automatentheorie und Logik
Springer-Verlag Berlin Heidelberg
Martin Hofmann
,
Martin Lange (auth.)
für
ϕ
gilt
automaten
lauf
über
formel
satz
knoten
beweis
büchi
übung
menge
zustand
nba
unendlich
logik
falls
zuständen
formeln
wobei
variablen
wörter
baum
somit
lässt
lemma
beispiel
definiert
folgt
zustände
wmso
unendlichen
zeigen
z.b
definieren
jedes
können
nfa
endliche
spieler
folgenden
pfad
existiert
jeweils
konstruktion
erkannt
positionen
wörtern
bäumen
Год:
2011
Язык:
german
Файл:
PDF, 1.62 MB
Ваши теги:
0
/
0
german, 2011
4
Automatentheorie und Logik
Springer-Verlag Berlin Heidelberg
Martin Hofmann
,
Martin Lange (auth.)
für
ϕ
gilt
automaten
lauf
über
formel
satz
knoten
beweis
büchi
übung
menge
zustand
nba
unendlich
logik
falls
zuständen
formeln
wobei
variablen
wörter
baum
somit
lässt
lemma
beispiel
definiert
folgt
zustände
wmso
unendlichen
zeigen
z.b
definieren
jedes
können
nfa
endliche
spieler
folgenden
pfad
existiert
jeweils
konstruktion
erkannt
positionen
wörtern
bäumen
Год:
2011
Язык:
german
Файл:
PDF, 2.59 MB
Ваши теги:
0
/
0
german, 2011
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×