Sciweavers

2143 search results - page 38 / 429

» corr 2010

106

CORR
2010
Springer

43views Education» more CORR 2010»

Effective Capacity and Randomness of Closed Sets

15 years 2 months ago

Effective Capacity and Randomness of Closed Sets

Download www.math.ufl.edu

Douglas Cenzer, Paul Brodhead

claim paper

Read More »

56

CORR
2010
Springer

68views Education» more CORR 2010»

Position Modulation Code for Rewriting Write-Once Memories

15 years 2 months ago

Position Modulation Code for Rewriting Write-Once Memories

Download faculty.cs.tamu.edu

Yunnan Wu, Anxiao Jiang

claim paper

Read More »

79

Voted

CORR
2010
Springer

76views Education» more CORR 2010»

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

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

52

CORR
2010
Springer

48views Education» more CORR 2010»

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

15 years 2 months ago

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

87

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

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