Search Sciweavers | Sciweavers

567 search results - page 43 / 114

» Stochastic Game Logic

131

click to vote

FSTTCS
2005
Springer

101views Software Engineering» more FSTTCS 2005»

From Logic to Games

15 years 11 months ago

Download www.labri.fr

Igor Walukiewicz

claim paper

Read More »

111

click to vote

FSTTCS
2004
Springer

91views Software Engineering» more FSTTCS 2004»

Adjunct Elimination Through Games in Static Ambient Logic

15 years 11 months ago

Download www.cl.cam.ac.uk

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

claim paper

Read More »

146

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 10 months ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

161

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 10 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

138

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers