Sciweavers

12753 search results - page 223 / 2551

» or 2002

13

CSL
2002
Springer

95views Automated Reasoning» more CSL 2002»

Proofnets and Context Semantics for the Additives

13 years 9 months ago

Proofnets and Context Semantics for the Additives

Download pages.cs.brandeis.edu

Harry G. Mairson, Xavier Rival

claim paper

Read More »

22

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

13 years 9 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

18

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

13 years 9 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

22

CSL
2002
Springer

117views Automated Reasoning» more CSL 2002»

Contrast in concept-to-speech generation

13 years 9 months ago

Contrast in concept-to-speech generation

Download wwwhome.cs.utwente.nl

Mariët Theune

claim paper

Read More »

20

CSSE
2002
IEEE

91views Software Engineering» more CSSE 2002»

Single-code and multi-code DS/CDMA MAC protocols for video/voice integration

13 years 9 months ago

Single-code and multi-code DS/CDMA MAC protocols for video/voice integration

Download icsd.i2r.a-star.edu.sg

Miao Ma, Erry Gunawan

claim paper

Read More »

« Prev « First page 223 / 2551 Last » Next »