Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Formula game
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
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