Inflationary Fixed Points in Modal Logics

Inflationary Fixed Points in Modal Logics

Показати інші версії (1)

Бібліографічні деталі
Автори:	Dawar, A, Grädel, E, Kreutzer, S
Формат:	Journal article
Опубліковано:	2004

Схожі ресурси

Inflationary Fixed Points in Modal Logics
за авторством: Dawar, A, та інші
Опубліковано: (2001)

Backtracking games and inflationary fixed points
за авторством: Dawar, A, та інші
Опубліковано: (2004)

Backtracking Games and Inflationary Fixed Points
за авторством: Dawar, A, та інші
Опубліковано: (2006)

Expressive Equivalence of Least and Inflationary Fixed−Point Logic
за авторством: Kreutzer, S
Опубліковано: (2004)

Expressive Equivalence of Least and Inflationary Fixed−Point Logic
за авторством: Kreutzer, S
Опубліковано: (2002)

Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions
за авторством: Grädel, E, та інші
Опубліковано: (2003)

Pure and Applied Fixed−Point Logics
за авторством: Kreutzer, S
Опубліковано: (2003)

Pure and Applied Fixed−Point Logics
за авторством: Kreutzer, S
Опубліковано: (2002)

Partial Fixed−Point Logic on Infinite Structures
за авторством: Kreutzer, S
Опубліковано: (2002)

Operational Semantics for Fixed−Point Logics on Constraint Databases
за авторством: Kreutzer, S
Опубліковано: (2001)

The Expressive Power of Two−Variable Least Fixed−Point Logics
за авторством: Grohe, M, та інші
Опубліковано: (2005)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
за авторством: Kreutzer, S
Опубліковано: (2001)

Generalising Automaticity to Modal Properties of Finite Structures
за авторством: Dawar, A, та інші
Опубліковано: (2002)

Fixed−point Query Languages for Linear Constraint Databases
за авторством: Kreutzer, S
Опубліковано: (2000)

Inflationary schism
за авторством: Anna Ijjas, та інші
Опубліковано: (2014-09-01)

Descriptive Complexity Theory for Constraint Databases
за авторством: Grädel, E, та інші
Опубліковано: (1999)

Inflationary cosmology revisited : an overview of contemporary scientific cosmology after the inflationary proposal /
за авторством: 181860 Gonzalo, Julio A. (Julio Antonio)
Опубліковано: (2005)

Weathering the Inflationary Storm 2021-2022: Crisis Management Modalities for the Informal Microenterprise Sector
за авторством: Kazi Ziaul Zafri, та інші
Опубліковано: (2024-09-01)

Optimal inflationary potentials
за авторством: Sousa, T, та інші
Опубліковано: (2024)

Accounting in an inflationary environment/
за авторством: 197188 Scapens, Robert William
Опубліковано: (1977)

Inflationary Krylov complexity
за авторством: Tao Li, та інші
Опубліковано: (2024-04-01)

Weak Inflationary BL-Algebras and Filters of Inflationary (Pseudo) General Residuated Lattices
за авторством: Xiaohong Zhang, та інші
Опубліковано: (2022-09-01)

Anti-inflationary measures in Sweden
за авторством: L.E. THUNHOLM
Опубліковано: (2014-09-01)

Modular games for coalgebraic fixed point logics
за авторством: Cîrstea, C, та інші
Опубліковано: (2008)

Features of inflationary taxation in Russia
за авторством: N. A. Ivanova, та інші
Опубліковано: (2022-12-01)

Nanohertz gravitational waves from supergravity inflationary model with double-inflection-point
за авторством: Tie-Jun Gao, та інші
Опубліковано: (2024-02-01)

Inflationary cosmology and fundamental physics
за авторством: Hertzberg, Mark Peter
Опубліковано: (2011)

BARYOGENESIS IN SUPERGRAVITY INFLATIONARY MODELS
за авторством: Coughlan, G, та інші
Опубліковано: (1985)

Particle physics and inflationary cosmology /
за авторством: 201668 Linde, Andrie
Опубліковано: (1990)

Inflationary pressures, wages and profits
за авторством: Hassan Faryaar, та інші
Опубліковано: (2023-06-01)

STRUCTURAL ASPECTS OF INFLATIONARY PROCESSES
за авторством: T. I. Gordievich, та інші
Опубліковано: (2018-02-01)

Determinants of Inflationary Experience in Ethiopia
за авторством: Teshale D. BEDADA, та інші
Опубліковано: (2020-08-01)

Quantum entanglement in inflationary cosmology
за авторством: Seoktae Koh, та інші
Опубліковано: (2020-08-01)

Inflationary f (R) Cosmologies
за авторством: Heba Sami, та інші
Опубліковано: (2017-10-01)

Singularities in Inflationary Cosmological Models
за авторством: Leonardo Fernández-Jambrina
Опубліковано: (2021-12-01)

Inflationary perturbations in no-scale theories
за авторством: Alberto Salvio
Опубліковано: (2017-04-01)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
за авторством: Jamie Tucker-Foltz
Опубліковано: (2024-04-01)

Once upon a time in the west – Determinacy‚ definability and complexity of path games
за авторством: Berwanger, D, та інші
Опубліковано: (2003)

Inflationary Cosmology in Anisotropic Inflation Models
за авторством: H Firouzjahi, та інші
Опубліковано: (2018-06-01)

Sector performance under inflationary conditions
за авторством: A. Archer
Опубліковано: (1981-03-01)