Circuits, Logic and Games (Dagstuhl Seminar 15401).
Mikolaj BojanczykMeena MahajanThomas SchwentickHeribert VollmerPublished in: Dagstuhl Reports (2015)
Keyphrases
- logic synthesis
- delay insensitive
- digital circuits
- asynchronous circuits
- logic circuits
- chip design
- logic programming
- computer games
- random access memory
- nash equilibria
- shift register
- serious games
- classical logic
- built in self test
- truth table
- analog vlsi
- game theory
- multi valued
- game play
- automated reasoning
- high speed
- video games
- floating gate
- fault models
- low power
- game design
- game playing
- game theoretic
- analog circuits
- coalitional games
- game development
- defeasible logic
- digital games
- learning games
- truth values
- predicate logic
- modal logic
- circuit design
- online game