Sciweavers

56 search results - page 1 / 12

» csl 2006

10

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

13 years 8 months ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

13

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

13 years 8 months ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

10

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

13 years 7 months ago

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

Download logica.uniroma3.it

Michele Pagani

claim paper

Read More »

8

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

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

8

CSL
2006
Springer

114views Automated Reasoning» more CSL 2006»

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

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