Backtracking Games and Inflationary Fixed Points

Backtracking Games and Inflationary Fixed Points

Бусад хувилбаруудыг харуулах (1)

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Dawar, A, Grädel, E, Kreutzer, S
Формат:	Journal article
Хэвлэсэн:	2006

Ижил төстэй зүйлс

Backtracking games and inflationary fixed points
-н: Dawar, A, зэрэг
Хэвлэсэн: (2004)

Inflationary Fixed Points in Modal Logics
-н: Dawar, A, зэрэг
Хэвлэсэн: (2001)

Inflationary Fixed Points in Modal Logics
-н: Dawar, A, зэрэг
Хэвлэсэн: (2004)

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)

Once upon a time in the west – Determinacy‚ definability and complexity of path games
-н: Berwanger, D, зэрэг
Хэвлэсэн: (2003)

Interactive Learning Based Realizability and 1-Backtracking Games
-н: Federico Aschieri
Хэвлэсэн: (2011-01-01)

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)

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)

Object-oriented backtracking
-н: Gregorics Tibor
Хэвлэсэн: (2017-12-01)

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)

Efficient Monadic−style Backtracking
-н: Hinze, R
Хэвлэсэн: (1996)

Deriving backtracking monad transformers
-н: Hinze, R
Хэвлэсэн: (2000)

A Multipurpose backtracking algorithm
-н: Priestley, H, зэрэг
Хэвлэсэн: (1994)

Backtracking Dynamical Cavity Method
-н: Freya Behrens, зэрэг
Хэвлэсэн: (2023-08-01)

Backtracking algorithm for lexicon generation
-н: Constantin Ciubotaru
Хэвлэсэн: (2021-04-01)

Monad Transformers for Backtracking Search
-н: Jules Hedges
Хэвлэсэн: (2014-06-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)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
-н: Kreutzer, S
Хэвлэсэн: (2001)

Anti-inflationary measures in Sweden
-н: L.E. THUNHOLM
Хэвлэсэн: (2014-09-01)

Directed distributed system: Backtracking problem
-н: I. B. Burdonov, зэрэг
Хэвлэсэн: (2018-10-01)

Features of inflationary taxation in Russia
-н: N. A. Ivanova, зэрэг
Хэвлэсэн: (2022-12-01)

The Expressive Power of Two−Variable Least Fixed−Point Logics
-н: Grohe, M, зэрэг
Хэвлэсэн: (2005)

Experimenting an approach for the design of backtracking in software
-н: Yau, Kin Hung.
Хэвлэсэн: (2009)

SVD++ Recommendation Algorithm Based on Backtracking
-н: Shijie Wang, зэрэг
Хэвлэсэн: (2020-07-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)