Search Sciweavers | Sciweavers

6355 search results - page 42 / 1271

» From Logic to Games

click to vote

BIRTHDAY
2005
Springer

106views Applied Computing» more BIRTHDAY 2005»

Open Problems in Logic and Games

14 years 4 months ago

Download www.illc.uva.nl

Johan van Benthem

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

91views Software Engineering» more FSTTCS 2004»

Adjunct Elimination Through Games in Static Ambient Logic

14 years 4 months ago

Download www.cl.cam.ac.uk

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

claim paper

Read More »

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

14 years 3 months ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

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

14 years 3 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers