تخطي إلى المحتوى

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)

خيارات البحث

سجل البحث
بحث متقدم

ابحث عن المزيد

استعراض الفهرس
استعرض أبجدياً
اكتشف القنوات
الحجز الأكاديمي
مواد جديدة

تحتاج مساعدة ؟

إرشادات حول معاملات البحث
إسأل أخصائي مكتبات
الأسئلة الشائعة