Search Sciweavers | Sciweavers

3994 search results - page 46 / 799

» A Linear Logical Framework

Voted

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

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

15 years 4 months ago

Download www-philo.univ-paris1.fr

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

claim paper

Read More »

117

Voted

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 4 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

15 years 4 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

15 years 4 months ago

Download www.cs.ucla.edu

Sergio Greco, Carlo Zaniolo

claim paper

Read More »

Voted

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers