Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
0Activity
0 of .
Results for:
No results containing your search query
P. 1
Philippe de Groote, Bruno Guillaume, Sylvain Salvati- Vector Addition Tree Automata & Multiplicative Exponential Linear Logic

Philippe de Groote, Bruno Guillaume, Sylvain Salvati- Vector Addition Tree Automata & Multiplicative Exponential Linear Logic

Ratings: (0)|Views: 3|Likes:
Published by Gholsas

More info:

Published by: Gholsas on Dec 02, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/02/2011

pdf

text

original

 
VATA & MELL
GDR-ALP – September 24, 2004
VectorAdditionTreeAutomata &MultiplicativeExponentialLinearLogic
Philippe de Groote, Bruno Guillaume, Sylvain SalvatiLORIA & INRIA LorraineSeptember 24, 2004
 
VATA & MELL
GDR-ALP – September 24, 2004
Overview
Introduction
An example
The automata side
The linear logic side
Bridging the two sides
 
VATA & MELL
GDR-ALP – September 24, 2004
Introduction

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->