Skip to search formSkip to main content
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

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
2015
2015
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean… Expand
2008
2008
Conference donnee a l'occasion du soixantieme anniversaire de D. Prawitz en juin 1996 a l'Universite de Stockholm. Soulignant le… Expand
2007
2007
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
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
Etude de la preuve non-constructive de l'existence d'une base finie pour les invariants algebriques etablie par Hilbert contre la… Expand