Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Show other versions (1)

Bibliografske podrobnosti
Glavni avtor:	Kreutzer, S
Format:	Journal article
Izdano:	2004

Podobne knjige/članki

Expressive Equivalence of Least and Inflationary Fixed−Point Logic
od: Kreutzer, S
Izdano: (2002)

Inflationary Fixed Points in Modal Logics
od: Dawar, A, et al.
Izdano: (2004)

Inflationary Fixed Points in Modal Logics
od: Dawar, A, et al.
Izdano: (2001)

Backtracking games and inflationary fixed points
od: Dawar, A, et al.
Izdano: (2004)

Backtracking Games and Inflationary Fixed Points
od: Dawar, A, et al.
Izdano: (2006)

The Expressive Power of Two−Variable Least Fixed−Point Logics
od: Grohe, M, et al.
Izdano: (2005)

Pure and Applied Fixed−Point Logics
od: Kreutzer, S
Izdano: (2003)

Pure and Applied Fixed−Point Logics
od: Kreutzer, S
Izdano: (2002)

Partial Fixed−Point Logic on Infinite Structures
od: Kreutzer, S
Izdano: (2002)

Operational Semantics for Fixed−Point Logics on Constraint Databases
od: Kreutzer, S
Izdano: (2001)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
od: Kreutzer, S
Izdano: (2001)

Computing the Least Fixed Point of Positive Polynomial Systems
od: Esparza, J, et al.
Izdano: (2010)

Fixed−point Query Languages for Linear Constraint Databases
od: Kreutzer, S
Izdano: (2000)

Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions
od: Grädel, E, et al.
Izdano: (2003)

Modular games for coalgebraic fixed point logics
od: Cîrstea, C, et al.
Izdano: (2008)

Optimal inflationary potentials
od: Sousa, T, et al.
Izdano: (2024)

Inflationary cosmology and fundamental physics
od: Hertzberg, Mark Peter
Izdano: (2011)

BARYOGENESIS IN SUPERGRAVITY INFLATIONARY MODELS
od: Coughlan, G, et al.
Izdano: (1985)

Boson stars and oscillatons in an inflationary universe
od: Mezei, Mark Koppany, et al.
Izdano: (2011)

Inflationary paradigm after Planck 2013
od: Nomura, Yasunori, et al.
Izdano: (2016)

ONE-SCALE SUPERSYMMETRIC INFLATIONARY MODELS
od: Bertolami, O, et al.
Izdano: (1986)

Theories for inflationary era in the early universe
od: She, Yuhui
Izdano: (2024)

On the equivalence of floating- and fixed-strike Asian options
od: Henderson, V, et al.
Izdano: (2002)

Stability of a monetary economy with inflationary expectations.
od: Siegel, Jeremy James
Izdano: (2010)

Supersymmetry, supergravity, and String Theory based inflationary cosmology
od: Kraj, Megan C.
Izdano: (2020)

The inflationary impact of higher energy prices 1973-1975
od: Mork, Knut Anton
Izdano: (2006)

Unique Fixed Points
od: Hoare, C
Izdano: (2015)

On fixpoint logics and equivalences for processes with restricted nondeterminism
od: Gutierrez, J
Izdano: (2015)

A Note on Equivalences Among Logics of Programs
od: Meyer, Albert R., et al.
Izdano: (2023)

On fixpoint logics and equivalences for processes with restricted nondeterminism
od: Gutierrez, J
Izdano: (2015)

An Analysis between inflationary rate and stock return :: An Evidence in Indonesia
od: , SUBIYANTORO, et al.
Izdano: (2003)

Post-inflationary axions: a minimal target for axion haloscopes
od: Gorghetto, M, et al.
Izdano: (2023)

On the Parameterised Intractability of Monadic Second−Order Logic
od: Kreutzer, S
Izdano: (2009)

Fixed Points of Increasing Functions
od: Hoare, C
Izdano: (1990)

Exploiting unique fixed points
od: Hinze, R
Izdano: (2008)

INFRARED FIXED-POINTS REVISITED
od: Lanzagorta, M, et al.
Izdano: (1995)

Distributed computation of fixed points
Izdano: (2002)

Fixed-point square roots
od: Gan, Woon-Seng, et al.
Izdano: (2013)

Fixed points without completeness
od: Roscoe, A, et al.
Izdano: (1993)

Fixed point theory and applications /
od: Tan, Kok-Keong, et al.
Izdano: (1992)