Search Sciweavers | Sciweavers

6045 search results - page 27 / 1209

» Computable Linearizations of Well-partial-orderings

124

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 11 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

101

click to vote

LICS
2005
IEEE

115views Automated Reasoning» more LICS 2005»

The Geometry of Linear Higher-Order Recursion

15 years 10 months ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

125

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

15 years 10 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

102

Voted

ACMACE
2005
ACM

120views Human Computer Interaction» more ACMACE 2005»

Scenario analysis based on linear logic

15 years 10 months ago

Download armelle.prigent.free.fr

Frédéric Collé, Ronan Champag...

claim paper

Read More »

110

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers