Անցեք բովանդակությանը

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Ընդլայնված

Model theory makes formulas la...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

Model theory makes formulas large

Model theory makes formulas large

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Dawar, A, Grohe, M, Kreutzer, S, Schweikardt, N
Ձևաչափ:	Conference item
Հրապարակվել է:	2007

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

The Expressive Power of Two−Variable Least Fixed−Point Logics
‌: Grohe, M, և այլն
Հրապարակվել է: (2005)
Locally Excluding a Minor
‌: Dawar, A, և այլն
Հրապարակվել է: (2007)
Logik und Informatik
‌: Kreutzer, S, և այլն
Հրապարակվել է: (2004)
The succinctness of first-order logic on linear orders
‌: Martin Grohe, և այլն
Հրապարակվել է: (2005-06-01)
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
‌: Frederik Harwath, և այլն
Հրապարակվել է: (2017-04-01)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs