Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Näytä muut versiot (1)

Bibliografiset tiedot
Päätekijä:	Kreutzer, S
Aineistotyyppi:	Conference item
Julkaistu:	2002

Samankaltaisia teoksia

Expressive Equivalence of Least and Inflationary Fixed−Point Logic
Tekijä: Kreutzer, S
Julkaistu: (2004)

Inflationary Fixed Points in Modal Logics
Tekijä: Dawar, A, et al.
Julkaistu: (2004)

Inflationary Fixed Points in Modal Logics
Tekijä: Dawar, A, et al.
Julkaistu: (2001)

Backtracking Games and Inflationary Fixed Points
Tekijä: Dawar, A, et al.
Julkaistu: (2006)

Backtracking games and inflationary fixed points
Tekijä: Dawar, A, et al.
Julkaistu: (2004)

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

Pure and Applied Fixed−Point Logics
Tekijä: Kreutzer, S
Julkaistu: (2002)

Pure and Applied Fixed−Point Logics
Tekijä: Kreutzer, S
Julkaistu: (2003)

Partial Fixed−Point Logic on Infinite Structures
Tekijä: Kreutzer, S
Julkaistu: (2002)

Operational Semantics for Fixed−Point Logics on Constraint Databases
Tekijä: Kreutzer, S
Julkaistu: (2001)

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

Computing the Least Fixed Point of Positive Polynomial Systems
Tekijä: Esparza, J, et al.
Julkaistu: (2010)

Fixed−point Query Languages for Linear Constraint Databases
Tekijä: Kreutzer, S
Julkaistu: (2000)

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

Modular games for coalgebraic fixed point logics
Tekijä: Cîrstea, C, et al.
Julkaistu: (2008)

Optimal inflationary potentials
Tekijä: Sousa, T, et al.
Julkaistu: (2024)

Accounting in an inflationary environment/
Tekijä: 197188 Scapens, Robert William
Julkaistu: (1977)

Inflationary cosmology and fundamental physics
Tekijä: Hertzberg, Mark Peter
Julkaistu: (2011)

BARYOGENESIS IN SUPERGRAVITY INFLATIONARY MODELS
Tekijä: Coughlan, G, et al.
Julkaistu: (1985)

Boson stars and oscillatons in an inflationary universe
Tekijä: Mezei, Mark Koppany, et al.
Julkaistu: (2011)

Inflationary paradigm after Planck 2013
Tekijä: Nomura, Yasunori, et al.
Julkaistu: (2016)

ONE-SCALE SUPERSYMMETRIC INFLATIONARY MODELS
Tekijä: Bertolami, O, et al.
Julkaistu: (1986)

Theories for inflationary era in the early universe
Tekijä: She, Yuhui
Julkaistu: (2024)

Advanced least squares applied to position-fixing/
Tekijä: 339220 Cross, P. A.
Julkaistu: (1983)

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

Stability of a monetary economy with inflationary expectations.
Tekijä: Siegel, Jeremy James
Julkaistu: (2010)

Unique Fixed Points
Tekijä: Hoare, C
Julkaistu: (2015)

Fixed point theorems/
Tekijä: 186258 Smart, D. R.
Julkaistu: (1974)

Supersymmetry, supergravity, and String Theory based inflationary cosmology
Tekijä: Kraj, Megan C.
Julkaistu: (2020)

The inflationary impact of higher energy prices 1973-1975
Tekijä: Mork, Knut Anton
Julkaistu: (2006)

On fixpoint logics and equivalences for processes with restricted nondeterminism
Tekijä: Gutierrez, J
Julkaistu: (2015)

A Note on Equivalences Among Logics of Programs
Tekijä: Meyer, Albert R., et al.
Julkaistu: (2023)

On fixpoint logics and equivalences for processes with restricted nondeterminism
Tekijä: Gutierrez, J
Julkaistu: (2015)

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

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

On the Parameterised Intractability of Monadic Second−Order Logic
Tekijä: Kreutzer, S
Julkaistu: (2009)

Distributed computation of fixed points
Julkaistu: (2002)

Fixed Points of Increasing Functions
Tekijä: Hoare, C
Julkaistu: (1990)

Exploiting unique fixed points
Tekijä: Hinze, R
Julkaistu: (2008)

INFRARED FIXED-POINTS REVISITED
Tekijä: Lanzagorta, M, et al.
Julkaistu: (1995)