Sciweavers

56 search results - page 1 / 12

» csl 2006

12

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

13 years 10 months ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

15

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

13 years 10 months ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

11

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

13 years 8 months ago

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

Download logica.uniroma3.it

Michele Pagani

claim paper

Read More »

10

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

13 years 10 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 6 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 »