Search Sciweavers | Sciweavers

6045 search results - page 27 / 1209

» Computable Linearizations of Well-partial-orderings

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 2 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

click to vote

LICS
2005
IEEE

115views Automated Reasoning» more LICS 2005»

The Geometry of Linear Higher-Order Recursion

14 years 1 months ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

14 years 1 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

ACMACE
2005
ACM

120views Human Computer Interaction» more ACMACE 2005»

Scenario analysis based on linear logic

14 years 1 months ago

Download armelle.prigent.free.fr

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

claim paper

Read More »

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers