Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CSL
2002
Springer

favoriteEmaildiscussreport

151views Automated Reasoning» more CSL 2002»

Designs, Disputes and Strategies

13 years 4 months ago

Designs, Disputes and Strategies

Download www.dpmms.cam.ac.uk

Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" appraoch to Games Semantics, and thus establish a clear connection between the two subjects.

Claudia Faggian, Martin Hyland

Real-time Traffic

Abstract General Approach | Automated Reasoning | Basic Notions | CSL 2002 | Innocent Strategy |

claim paper

Related Content

» Highlighting disputed claims on the web

» ReConsider The Integration of Online Dispute Resolution and Decision Support Systems

» Success chances in argument games a probabilistic approach to legal disputes

» What is disputed on the web

» A processdriven tool to support online dispute resolution

» Policy Disputes in PathVector Protocols

» Design of Robust BusinesstoBusiness Electronic Marketplaces with Guaranteed Privacy

» Breaking and Repairing TrapdoorFree Group Signature Schemes from Asiacrypt2004

» Trends in Security Product Evaluations

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	CSL
Authors	Claudia Faggian, Martin Hyland

Comments (0)