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)

Generalising Automaticity to Model Properties of Finite Structures
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2007)

Approximation Schemes for First−Order Definable Optimisation Problems
অনুযায়ী: Dawar, S, অন্যান্য
প্রকাশিত: (2006)

Computing Excluded Minors
অনুযায়ী: Adler, I, অন্যান্য
প্রকাশিত: (2008)

Domination Problems in Nowhere−Dense Classes of Graphs‚
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2009)

On Datalog vs. LFP
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2008)

Generalising Automaticity to Modal Properties of Finite Structures
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2002)

Backtracking Games and Inflationary Fixed Points
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2006)

Inflationary Fixed Points in Modal Logics
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2001)

Backtracking games and inflationary fixed points
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2004)

Inflationary Fixed Points in Modal Logics
অনুযায়ী: Dawar, A, অন্যান্য
প্রকাশিত: (2004)

The pebbling comonad in finite model theory
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (2017)

DAG−Width and Parity Games
অনুযায়ী: Berwanger, D, অন্যান্য
প্রকাশিত: (2006)

Randomisation and Derandomisation in Descriptive Complexity Theory
অনুযায়ী: Kord Eickmeyer, অন্যান্য
প্রকাশিত: (2011-09-01)

Descriptive Complexity Theory for Constraint Databases
অনুযায়ী: Kreutzer, S
প্রকাশিত: (1999)

Explicit formulas in renewal theory
অনুযায়ী: M.S. Sgibnev
প্রকাশিত: (2024-09-01)

The DAG−Width of Directed Graphs
অনুযায়ী: Berwanger, D, অন্যান্য
প্রকাশিত: (2012)

Descriptive Complexity Theory for Constraint Databases
অনুযায়ী: Grädel, E, অন্যান্য
প্রকাশিত: (1999)

The canonical formulation of E6(6) exceptional field theory
অনুযায়ী: Lars T. Kreutzer
প্রকাশিত: (2021-07-01)

Bond math : the theory behind the formulas /
অনুযায়ী: Smith, Donald J., 1947-
প্রকাশিত: (c201)

Matrix mathematics : theory, facts, and formulas /
অনুযায়ী: 264073 Bernstein, Dennis S.
প্রকাশিত: (2009)

Asymptotic formula for large eigenvalues of the two-photon quantum Rabi model
অনুযায়ী: Boutet de Monvel, Anne, অন্যান্য
প্রকাশিত: (2023-12-01)

Pumakkal formula for making shrimp pond waste fertiliser
অনুযায়ী: Sutanto, Agus, অন্যান্য
প্রকাশিত: (2024)

A note on the expressive power of linear orders
অনুযায়ী: Thomas Schwentick, অন্যান্য
প্রকাশিত: (2011-12-01)

Generalisation of the Frobenius Formula in the Theory of Block Operators on Normed Spaces
অনুযায়ী: Nikolai A. Sidorov, অন্যান্য
প্রকাশিত: (2021-11-01)

Large infinitary languages : model theory /
অনুযায়ী: 366838 Dickmann, M. A.
প্রকাশিত: (1975)

Unification Theories: Means and Generalized Euler Formulas
অনুযায়ী: Radu Iordanescu, অন্যান্য
প্রকাশিত: (2020-12-01)

Ethnopoetics, Oral-Formulaic Theory, and Editing Texts
অনুযায়ী: Dell Hymes
প্রকাশিত: (1994-05-01)

The Oral-Formulaic Theory in Middle English Studies
অনুযায়ী: Ward Parks
প্রকাশিত: (1986-09-01)

Convenient formulae for some integrals in perturbation theory
অনুযায়ী: D. Henderson
প্রকাশিত: (2010-01-01)

On Algebras of Distributions of Binary Formulas for Theories of Unars
অনুযায়ী: D. Emelyanov
প্রকাশিত: (2016-09-01)

Analysis of formulas for numerical differentiation of functions with large gradients on a Bakhvalov mesh
অনুযায়ী: N.A. Zadorin
প্রকাশিত: (2021-12-01)

Interpolation Formulas for Functions with Large Gradients in the Boundary Layer and their Application
অনুযায়ী: A. I. Zadorin
প্রকাশিত: (2016-06-01)

Algebras of Binary Isolating Formulas for Strong Product Theories
অনুযায়ী: D.Yu. Emelyanov
প্রকাশিত: (2023-09-01)

Cardy formula for 4d SUSY theories and localization
অনুযায়ী: Lorenzo Di Pietro, অন্যান্য
প্রকাশিত: (2017-04-01)

Algebras of Binary Isolating Formulas for Tensor Product Theories
অনুযায়ী: D.Yu. Emel’yanov
প্রকাশিত: (2022-09-01)