Sciweavers

421 search results - page 14 / 85

» CSL

46

CSL
2002
Springer

95views Automated Reasoning» more CSL 2002»

Proofnets and Context Semantics for the Additives

14 years 11 months ago

Proofnets and Context Semantics for the Additives

Download pages.cs.brandeis.edu

Harry G. Mairson, Xavier Rival

claim paper

Read More »

61

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

14 years 11 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

58

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

14 years 11 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

58

CSL
2002
Springer

117views Automated Reasoning» more CSL 2002»

Contrast in concept-to-speech generation

14 years 11 months ago

Contrast in concept-to-speech generation

Download wwwhome.cs.utwente.nl

Mariët Theune

claim paper

Read More »

78

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

14 years 11 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

« Prev « First page 14 / 85 Last » Next »