Search Sciweavers | Sciweavers

884 search results - page 37 / 177

» The Linear Logic of Multisets

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

14 years 1 months ago

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell...

claim paper

Read More »

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

14 years 1 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

14 years 1 months ago

Download users.ecs.soton.ac.uk

Ulrich Nitsche

claim paper

Read More »

click to vote

EDBT
1992
ACM

90views Database» more EDBT 1992»

Optimization of Linear Logic Programs Using Counting Methods

14 years 1 months ago

Download www.cs.ucla.edu

Sergio Greco, Carlo Zaniolo

claim paper

Read More »

click to vote

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers