Search Sciweavers | Sciweavers

17082 search results - page 104 / 3417

» Abstractions for Mobile Computation

109

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

15 years 7 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

113

click to vote

DSN
2007
IEEE

82views Computer Networks» more DSN 2007»

Fast Abstracts

15 years 7 months ago

Download www.ece.cmu.edu

Hiroshi Nakamura

claim paper

Read More »

click to vote

RTA
2010
Springer

137views Theoretical Computer Science» more RTA 2010»

Abstract Models of Transfinite Reductions

15 years 7 months ago

Download drops.dagstuhl.de

Patrick Bahr

claim paper

Read More »

107

click to vote

DIS
2009
Springer

105views Theoretical Computer Science» more DIS 2009»

Inference and Learning in Planning (Extended Abstract)

15 years 7 months ago

Download www.dtic.upf.edu

Hector Geffner

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers