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)