Inflationary Fixed Points in Modal Logics

Inflationary Fixed Points in Modal Logics

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Dawar, A, Grädel, E, Kreutzer, S
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2004

Benzer Materyaller

Inflationary Fixed Points in Modal Logics
Yazar:: Dawar, A, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Backtracking games and inflationary fixed points
Yazar:: Dawar, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Backtracking Games and Inflationary Fixed Points
Yazar:: Dawar, A, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Expressive Equivalence of Least and Inflationary Fixed−Point Logic
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2004)

Expressive Equivalence of Least and Inflationary Fixed−Point Logic
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2002)

Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions
Yazar:: Grädel, E, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Pure and Applied Fixed−Point Logics
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2003)

Pure and Applied Fixed−Point Logics
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2002)

Partial Fixed−Point Logic on Infinite Structures
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2002)

Operational Semantics for Fixed−Point Logics on Constraint Databases
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2001)

The Expressive Power of Two−Variable Least Fixed−Point Logics
Yazar:: Grohe, M, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2001)

Generalising Automaticity to Modal Properties of Finite Structures
Yazar:: Dawar, A, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Fixed−point Query Languages for Linear Constraint Databases
Yazar:: Kreutzer, S
Baskı/Yayın Bilgisi: (2000)

Inflationary schism
Yazar:: Anna Ijjas, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

Descriptive Complexity Theory for Constraint Databases
Yazar:: Grädel, E, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Inflationary cosmology revisited : an overview of contemporary scientific cosmology after the inflationary proposal /
Yazar:: 181860 Gonzalo, Julio A. (Julio Antonio)
Baskı/Yayın Bilgisi: (2005)

Weathering the Inflationary Storm 2021-2022: Crisis Management Modalities for the Informal Microenterprise Sector
Yazar:: Kazi Ziaul Zafri, ve diğerleri
Baskı/Yayın Bilgisi: (2024-09-01)

Optimal inflationary potentials
Yazar:: Sousa, T, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Accounting in an inflationary environment/
Yazar:: 197188 Scapens, Robert William
Baskı/Yayın Bilgisi: (1977)

Inflationary Krylov complexity
Yazar:: Tao Li, ve diğerleri
Baskı/Yayın Bilgisi: (2024-04-01)

Weak Inflationary BL-Algebras and Filters of Inflationary (Pseudo) General Residuated Lattices
Yazar:: Xiaohong Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2022-09-01)

Modular games for coalgebraic fixed point logics
Yazar:: Cîrstea, C, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Anti-inflationary measures in Sweden
Yazar:: L.E. THUNHOLM
Baskı/Yayın Bilgisi: (2014-09-01)

Features of inflationary taxation in Russia
Yazar:: N. A. Ivanova, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Nanohertz gravitational waves from supergravity inflationary model with double-inflection-point
Yazar:: Tie-Jun Gao, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
Yazar:: Jamie Tucker-Foltz
Baskı/Yayın Bilgisi: (2024-04-01)

Inflationary cosmology and fundamental physics
Yazar:: Hertzberg, Mark Peter
Baskı/Yayın Bilgisi: (2011)

BARYOGENESIS IN SUPERGRAVITY INFLATIONARY MODELS
Yazar:: Coughlan, G, ve diğerleri
Baskı/Yayın Bilgisi: (1985)

Particle physics and inflationary cosmology /
Yazar:: 201668 Linde, Andrie
Baskı/Yayın Bilgisi: (1990)

Inflationary pressures, wages and profits
Yazar:: Hassan Faryaar, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

STRUCTURAL ASPECTS OF INFLATIONARY PROCESSES
Yazar:: T. I. Gordievich, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

Determinants of Inflationary Experience in Ethiopia
Yazar:: Teshale D. BEDADA, ve diğerleri
Baskı/Yayın Bilgisi: (2020-08-01)

Quantum entanglement in inflationary cosmology
Yazar:: Seoktae Koh, ve diğerleri
Baskı/Yayın Bilgisi: (2020-08-01)

Inflationary f (R) Cosmologies
Yazar:: Heba Sami, ve diğerleri
Baskı/Yayın Bilgisi: (2017-10-01)

Singularities in Inflationary Cosmological Models
Yazar:: Leonardo Fernández-Jambrina
Baskı/Yayın Bilgisi: (2021-12-01)

Inflationary perturbations in no-scale theories
Yazar:: Alberto Salvio
Baskı/Yayın Bilgisi: (2017-04-01)

Inflationary predictions and moduli masses
Yazar:: Kumar Das, ve diğerleri
Baskı/Yayın Bilgisi: (2015-12-01)

Inflationary predictions of geometric inflation
Yazar:: Gustavo Arciniega, ve diğerleri
Baskı/Yayın Bilgisi: (2020-10-01)

Once upon a time in the west – Determinacy‚ definability and complexity of path games
Yazar:: Berwanger, D, ve diğerleri
Baskı/Yayın Bilgisi: (2003)