Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

81

ENTCS
2006

110views more ENTCS 2006»

The Linear Logical Abstract Machine

15 years 3 months ago

The Linear Logical Abstract Machine

Download www.lifia.info.unlp.edu.ar

ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform

Eduardo Bonelli

Real-time Traffic

ENTCS 2006 | Machine Eduardo Bonelli |

claim paper

Related Content

» A Graph Abstract Machine Describing Event Structure Composition

» Generating Neural Networks Through the Induction of Threshold Logic Unit Trees Extended Ab...

» The Logical Abstract Machine A CurryHoward Isomorphism for Machine Code

» Compiling Resources in a Linear Logic Programming Language

» A Calculus for Interaction Nets

» WSMO Choreography From Abstract State Machines to Concurrent Transaction Logic

» A Typed Compositional Logic for a StackBased Abstract Machine

» Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

» A Logic for Abstract State Machines

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Eduardo Bonelli

Comments (0)