Sciweavers

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

124

Voted

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 8 months ago

Implementing Efficient Resource Management for Linear Logic Programming

Download unit.aist.go.jp

Pablo López, Jeff Polakow

Real-time Traffic

LPAR 2004 |

claim paper

Related Content

» Efficient Implementation of a Linear Logic Programming Language

» Compiling Resources in a Linear Logic Programming Language

» A Focusing Inverse Method Theorem Prover for FirstOrder Linear Logic

» Efficient Interval Linear Equality Solving in Constraint Logic Programming

» An implementation of Cognitive Resource Management on LTE platform

» Static prediction of heap space usage for firstorder functional programs

» Toward the Composition of Semantic Web Services

» RunTime Management of Logic Resources on Reconfigurable Systems

» Physicalnet A Generic Framework for Managing and Programming Across Pervasive Computing Ne...

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	LPAR
Authors	Pablo López, Jeff Polakow

Comments (0)