Skip to search formSkip to main contentSkip to account menu

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