Sciweavers

56 search results - page 1 / 12

» csl 2006

89

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

15 years 6 months ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

82

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

15 years 6 months ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

80

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

15 years 4 months ago

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

Download logica.uniroma3.it

Michele Pagani

claim paper

Read More »

86

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

15 years 6 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 »

72

CSL
2006
Springer

114views Automated Reasoning» more CSL 2006»

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

15 years 2 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 »