Search Sciweavers | Sciweavers

3994 search results - page 45 / 799

» A Linear Logical Framework

140

click to vote

DALT
2004
Springer

108views Intelligent Agents» more DALT 2004»

Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective

15 years 11 months ago

Download centria.di.fct.unl.pt

Peep Küngas, Mihhail Matskin

claim paper

Read More »

152

Voted

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 11 months ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

108

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Enhanced Vacuity Detection in Linear Temporal Logic

15 years 11 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

141

Voted

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 10 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

135

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers