Backtracking games and inflationary fixed points

Backtracking games and inflationary fixed points

Показать другие версии (1)

Библиографические подробности
Главные авторы:	Dawar, A, Grädel, E, Kreutzer, S
Формат:	Conference item
Опубликовано:	2004

Схожие документы

Backtracking Games and Inflationary Fixed Points
по: Dawar, A, и др.
Опубликовано: (2006)

Inflationary Fixed Points in Modal Logics
по: Dawar, A, и др.
Опубликовано: (2004)

Inflationary Fixed Points in Modal Logics
по: Dawar, A, и др.
Опубликовано: (2001)

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)

Once upon a time in the west – Determinacy‚ definability and complexity of path games
по: Berwanger, D, и др.
Опубликовано: (2003)

Operational Semantics for Fixed−Point Logics on Constraint Databases
по: Kreutzer, S
Опубликовано: (2001)

Fixed−point Query Languages for Linear Constraint Databases
по: Kreutzer, S
Опубликовано: (2000)

DAG−Width and Parity Games
по: Berwanger, D, и др.
Опубликовано: (2006)

Backtracking Counterfactuals Revisited
по: Khoo, Justin Donald
Опубликовано: (2018)

Optimal inflationary potentials
по: Sousa, T, и др.
Опубликовано: (2024)

Accounting in an inflationary environment/
по: 197188 Scapens, Robert William
Опубликовано: (1977)

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

Modular games for coalgebraic fixed point logics
по: Cîrstea, C, и др.
Опубликовано: (2008)

The Expressive Power of Two−Variable Least Fixed−Point Logics
по: Grohe, M, и др.
Опубликовано: (2005)

Descriptive Complexity Theory for Constraint Databases
по: Grädel, E, и др.
Опубликовано: (1999)

Efficient Monadic−style Backtracking
по: Hinze, R
Опубликовано: (1996)

Deriving backtracking monad transformers
по: Hinze, R
Опубликовано: (2000)

A Multipurpose backtracking algorithm
по: Priestley, H, и др.
Опубликовано: (1994)

Inflationary cosmology and fundamental physics
по: Hertzberg, Mark Peter
Опубликовано: (2011)

BARYOGENESIS IN SUPERGRAVITY INFLATIONARY MODELS
по: Coughlan, G, и др.
Опубликовано: (1985)

Fixed point theorems with applications to economics and game theory /
по: 266397 Border, Kim C.
Опубликовано: (1985)

Experimenting an approach for the design of backtracking in software
по: Yau, Kin Hung.
Опубликовано: (2009)

Boson stars and oscillatons in an inflationary universe
по: Mezei, Mark Koppany, и др.
Опубликовано: (2011)

Inflationary paradigm after Planck 2013
по: Nomura, Yasunori, и др.
Опубликовано: (2016)

ONE-SCALE SUPERSYMMETRIC INFLATIONARY MODELS
по: Bertolami, O, и др.
Опубликовано: (1986)

Theories for inflationary era in the early universe
по: She, Yuhui
Опубликовано: (2024)

Domination Problems in Nowhere−Dense Classes of Graphs‚
по: Dawar, A, и др.
Опубликовано: (2009)

On Datalog vs. LFP
по: Dawar, A, и др.
Опубликовано: (2008)

Generalising Automaticity to Model Properties of Finite Structures
по: Dawar, A, и др.
Опубликовано: (2007)

Generalising Automaticity to Modal Properties of Finite Structures
по: Dawar, A, и др.
Опубликовано: (2002)

A backtrack procedure for isomorphism of directed graph /
по: 227218 Berztiss, A. T.

Backtracking to the future: unraveling the origins of childhood leukemia
по: de Smith, AJ, и др.
Опубликовано: (2023)

Dependency-Directed Backtracking in Non-Deterministic Scheme
по: Zabih, Ramin
Опубликовано: (2009)

Non-backtracking walk centrality for directed networks
по: Arrigo, F, и др.
Опубликовано: (2017)

On the exponential generating function for non-backtracking walks
по: Arrigo, F, и др.
Опубликовано: (2018)