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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The implementation of the Common Consolidated Corporate Tax Base (hereinafter CCCTB) in the European Union will probably have an… Expand
  • table 1
  • table 2
Is this relevant?
2008
2008
Conference donnee a l'occasion du soixantieme anniversaire de D. Prawitz en juin 1996 a l'Universite de Stockholm. Soulignant le… Expand
Is this relevant?
2007
2007
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean… Expand
Is this relevant?
2007
2007
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean… Expand
Is this relevant?
Review
2005
Review
2005
The legacy of one of the greatest thinkers of the twentieth century.Spring loadingKurt Gödel (one of Time magazine's “20 greatest… Expand
Is this relevant?
1997
1997
Etude de la preuve non-constructive de l'existence d'une base finie pour les invariants algebriques etablie par Hilbert contre la… Expand
Is this relevant?