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)

Inflationary schism
著者:: Anna Ijjas, 等
出版事項: (2014-09-01)

Backtracking Counterfactuals Revisited
著者:: Khoo, Justin Donald
出版事項: (2018)

Object-oriented backtracking
著者:: Gregorics Tibor
出版事項: (2017-12-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)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
著者:: Kreutzer, S
出版事項: (2001)

Weak Inflationary BL-Algebras and Filters of Inflationary (Pseudo) General Residuated Lattices
著者:: Xiaohong Zhang, 等
出版事項: (2022-09-01)

Anti-inflationary measures in Sweden
著者:: L.E. THUNHOLM
出版事項: (2014-09-01)

Features of inflationary taxation in Russia
著者:: N. A. Ivanova, 等
出版事項: (2022-12-01)

Directed distributed system: Backtracking problem
著者:: I. B. Burdonov, 等
出版事項: (2018-10-01)

The Expressive Power of Two−Variable Least Fixed−Point Logics
著者:: Grohe, M, 等
出版事項: (2005)

Nanohertz gravitational waves from supergravity inflationary model with double-inflection-point
著者:: Tie-Jun Gao, 等
出版事項: (2024-02-01)

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)

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)