Search Sciweavers | Sciweavers

3994 search results - page 49 / 799

» A Linear Logical Framework

119

click to vote

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

15 years 5 months ago

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

108

click to vote

ENTCS
2002

69views more ENTCS 2002»

Isolating Resource Consumption in Linear Logic Proof Search

15 years 5 months ago

Download www.cs.cmu.edu

Pablo López, Ernesto Pimentel, Joshua S. Ho...

claim paper

Read More »

119

click to vote

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 5 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

127

click to vote

AML
1998

93views more AML 1998»

Normal deduction in the intuitionistic linear logic

15 years 5 months ago

Download csli-publications.stanford.edu

A natural deduction system NDIL described here admits normalization and has subformula prop

Grigori Mints

claim paper

Read More »

121

click to vote

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers