Search Sciweavers | Sciweavers

884 search results - page 36 / 177

» The Linear Logic of Multisets

click to vote

DALT
2004
Springer

108views Intelligent Agents» more DALT 2004»

Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective

14 years 2 months ago

Download centria.di.fct.unl.pt

Peep Küngas, Mihhail Matskin

claim paper

Read More »

click to vote

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

14 years 2 months ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Enhanced Vacuity Detection in Linear Temporal Logic

14 years 2 months ago

Download www.doc.ic.ac.uk

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

14 years 1 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

click to vote

CONCUR
1997
Springer

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

A Product Version of Dynamic Linear Time Temporal Logic

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers