Search Sciweavers | Sciweavers

180 search results - page 4 / 36

» Self-Assembly of Infinite Structures

click to vote

RTA
2010
Springer

146views Theoretical Computer Science» more RTA 2010»

Proving Productivity in Infinite Data Structures

14 years 1 months ago

Download www.win.tue.nl

For a general class of inﬁnite data structures including streams, binary trees, and the combination of ﬁnite and inﬁnite lists, we investigate a notion of productivity. This ...

Hans Zantema, Matthias Raffelsieper

claim paper

Read More »

click to vote

JNS
2007

55views more JNS 2007»

Two-Dimensional Infinite Prandtl Number Convection: Structure of Bifurcated Solutions

13 years 9 months ago

Download iris.nyit.edu

Abstract. This paper examines the bifurcation and structure of the bifurcated solutions of the two-dimensional inﬁnite Prandtl number convection problem. The existence of a bifur...

Jungho Park

claim paper

Read More »

click to vote

ITA
2007

153views Communications» more ITA 2007»

Deciding inclusion of set constants over infinite non-strict data structures

13 years 9 months ago

Download www.ki.informatik.uni-frankfurt.de

Abstract. Various static analyses of functional programming languages that permit inﬁnite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...

Manfred Schmidt-Schauß, David Sabel, Marko S...

claim paper

Read More »

click to vote

SIGADA
1998
Springer

74views Programming Languages» more SIGADA 1998»

Reusable Ada Libraries Supporting Infinite Data Structures

14 years 1 months ago