Search Sciweavers | Sciweavers

884 search results - page 40 / 177

» The Linear Logic of Multisets

163

click to vote

IGPL
2007

91views more IGPL 2007»

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

15 years 7 months ago

Download www2.imm.dtu.dk

Valentin Goranko, Alberto Zanardo

claim paper

Read More »

142

Voted

ENTCS
2002

72views more ENTCS 2002»

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

15 years 7 months ago

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

132

click to vote

ENTCS
2002

69views more ENTCS 2002»

Isolating Resource Consumption in Linear Logic Proof Search

15 years 7 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

139

click to vote

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 7 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

149

Voted

AML
1998

93views more AML 1998»

Normal deduction in the intuitionistic linear logic

15 years 7 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 »

« Prev « First page 40 / 177 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers