Sciweavers

56 search results - page 1 / 12

» csl 2006

60

Voted

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

15 years 1 months ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

56

Voted

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

15 years 1 months ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

52

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

14 years 11 months ago

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

Download logica.uniroma3.it

Michele Pagani

claim paper

Read More »

48

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

15 years 1 months ago

First-Order Queries over One Unary Function

Download www.lif.univ-mrs.fr

Arnaud Durand, Frédéric Olive

claim paper

Read More »

54

Voted

CSL
2006
Springer

114views Automated Reasoning» more CSL 2006»

Adaptation of children's speech with limited data based on formant-like peak alignment

14 years 9 months ago

Adaptation of children's speech with limited data based on formant-like peak alignment

Download www.ee.ucla.edu

Xiaodong Cui, Abeer Alwan

claim paper

Read More »

« Prev « First page 1 / 12 Last » Next »