Search Sciweavers | Sciweavers

842 search results - page 31 / 169

» Linear logic

106

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 7 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

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

15 years 7 months ago

Download www-philo.univ-paris1.fr

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

claim paper

Read More »

139

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 7 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 7 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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers