Sciweavers

835 search results - page 18 / 167

» Geometric Logic in Computer Science

27

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 2 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

18

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

14 years 2 months ago

Ready Simulation for Concurrency: It's Logical!

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

21

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

14 years 2 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

23

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

14 years 2 months ago

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

21

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

14 years 2 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

« Prev « First page 18 / 167 Last » Next »