Sciweavers

421 search results - page 14 / 85

» CSL

12

CSL
2002
Springer

95views Automated Reasoning» more CSL 2002»

Proofnets and Context Semantics for the Additives

13 years 8 months ago

Proofnets and Context Semantics for the Additives

Download pages.cs.brandeis.edu

Harry G. Mairson, Xavier Rival

claim paper

Read More »

21

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

13 years 8 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

17

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

13 years 8 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

20

CSL
2002
Springer

117views Automated Reasoning» more CSL 2002»

Contrast in concept-to-speech generation

13 years 8 months ago

Contrast in concept-to-speech generation

Download wwwhome.cs.utwente.nl

Mariët Theune

claim paper

Read More »

20

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

13 years 8 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 »