Search Sciweavers | Sciweavers

234 search results - page 10 / 47

» Proof Nets and the Identity of Proofs

click to vote

RTA
1999
Springer

101views Theoretical Computer Science» more RTA 1999»

Strong Normalization of Proof Nets Modulo Structural Congruences

15 years 6 months ago

Download twiki.di.uniroma1.it

Roberto Di Cosmo, Stefano Guerrini

claim paper

Read More »

click to vote

TLCA
1997
Springer

81views Theoretical Computer Science» more TLCA 1997»

Proof Nets, Garbage, and Computations

15 years 6 months ago

Download www.ircs.upenn.edu

S TECHNICAL REPORT ABSTRACTS

Stefano Guerrini, Simone Martini, Andrea Masini

claim paper

Read More »

101

click to vote

ANLP
2000

86views more ANLP 2000»

Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets

15 years 3 months ago

Download hal.archives-ouvertes.fr

Sylvain Pogodalla

claim paper

Read More »

click to vote

CORR
2007
Springer

82views Education» more CORR 2007»

Proof nets for display logic

15 years 1 months ago

Download www.labri.fr

Richard Moot

claim paper

Read More »

click to vote

SLOGICA
2002

61views more SLOGICA 2002»

Proof Nets for the Multimodal Lambek Calculus

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers