Search Sciweavers | Sciweavers

884 search results - page 35 / 177

» The Linear Logic of Multisets

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

14 years 3 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 2 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 2 months ago

Download armelle.prigent.free.fr

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

claim paper

Read More »

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

14 years 2 months ago

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

click to vote

CSL
2004
Springer

98views Automated Reasoning» more CSL 2004»

On Proof Nets for Multiplicative Linear Logic with Units

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers