Sciweavers

611 search results - page 16 / 123

» Yuri, Logic, and Computer Science

115

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

16 years 1 days ago

Ready Simulation for Concurrency: It's Logical!

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

134

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

15 years 12 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

139

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

15 years 11 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 »

120

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

16 years 5 days ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

155

CSFW
2008
IEEE

141views Security Privacy» more CSFW 2008»

DKAL: Distributed-Knowledge Authorization Language

16 years 11 days ago

DKAL: Distributed-Knowledge Authorization Language

Download www.math.ucla.edu

DKAL is a new declarative authorization language for distributed systems. It is based on existential ﬁxed-point logic and is considerably more expressive than existing authoriza...

Yuri Gurevich, Itay Neeman

claim paper

Read More »

« Prev « First page 16 / 123 Last » Next »