Search Sciweavers | Sciweavers

Abstract. We investigate the question of what constitutes a proof when quantiﬁers and multiplicative units are both present. On the technical level this paper provides two new as...

Lutz Straßburger

claim paper

Read More »

143

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

16 years 8 days ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

127

click to vote

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

16 years 4 days ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

123

click to vote

LFCS
2007
Springer

85views Artificial Intelligence» more LFCS 2007»

Multiplexor Categories and Models of Soft Linear Logic

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers