Sciweavers

56 search results - page 1 / 12

» csl 2006

61

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 »

58

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 »

53

Voted

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

15 years 7 days ago

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

Download logica.uniroma3.it

Michele Pagani

claim paper

Read More »

51

Voted

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

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 10 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 »