Sciweavers

2143 search results - page 38 / 429

» corr 2010

31

CORR
2010
Springer

43views Education» more CORR 2010»

Effective Capacity and Randomness of Closed Sets

13 years 9 months ago

Effective Capacity and Randomness of Closed Sets

Download www.math.ufl.edu

Douglas Cenzer, Paul Brodhead

claim paper

Read More »

13

CORR
2010
Springer

68views Education» more CORR 2010»

Position Modulation Code for Rewriting Write-Once Memories

13 years 9 months ago

Position Modulation Code for Rewriting Write-Once Memories

Download faculty.cs.tamu.edu

Yunnan Wu, Anxiao Jiang

claim paper

Read More »

16

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

13 years 9 months ago

A framework for designing concurrent and recoverable abstract data types based on commutativity

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

11

CORR
2010
Springer

48views Education» more CORR 2010»

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

13 years 9 months ago

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

21

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

13 years 9 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

« Prev « First page 38 / 429 Last » Next »