Skip to search form
Skip to main content
>
Semantic Scholar
Semantic Scholar's Logo
Search
Sign In
Create Free Account
You are currently offline. Some features of the site may not work correctly.
Formula game
A formula game is an artificial game represented by a fully quantified Boolean formula. Players' turns alternate and the space of possible moves is…
Expand
Wikipedia
Create Alert
Related topics
Related topics
7 relations
Broader (1)
Boolean algebra
Computational complexity theory
Existential quantification
Generalized geography
PSPACE-complete
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The CCCTB Allocation Formula Game: The Performance of Economics Sectors
Kateřina Krchnivá
,
D. Nerudová
2018
Corpus ID: 59148604
The implementation of the Common Consolidated Corporate Tax Base (hereinafter CCCTB) in the European Union will probably have an…
Expand
2015
2015
Weighted Boolean Formula Games
M. Mavronicolas
,
B. Monien
,
K. Wagner
Algorithms, Probability, Networks, and Games
2015
Corpus ID: 31797148
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean…
Expand
2013
2013
How Lego Constructs a Cross-promotional Franchise with Video Games
David Wooten
2013
Corpus ID: 107655907
2008
2008
The scope of logic : deduction, abduction, analogy
C. Cellucci
2008
Corpus ID: 17956371
Conference donnee a l'occasion du soixantieme anniversaire de D. Prawitz en juin 1996 a l'Universite de Stockholm. Soulignant le…
Expand
2007
2007
Weighted Boolean Formula Games
M. Mavronicolas
,
B. Monien
,
K. Wagner
WINE
2007
Corpus ID: 17581634
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean…
Expand
Review
2005
Review
2005
Gödel's universe
M. Davis
Nature
2005
Corpus ID: 4395946
The legacy of one of the greatest thinkers of the twentieth century.Spring loadingKurt Gödel (one of Time magazine's “20 greatest…
Expand
2004
2004
HILBERT'S FORMALISM AND ARITHMETIZATION OF MATHEMATICS
J. C. Webb
Synthese
2004
Corpus ID: 44084932
Etude de la preuve non-constructive de l'existence d'une base finie pour les invariants algebriques etablie par Hilbert contre la…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE