Sciweavers

1686 search results - page 6 / 338

» Higher Order Deforestation

70

JAR
2000

87views more JAR 2000»

Managing Structural Information by Higher-Order Colored Unification

14 years 9 months ago

Managing Structural Information by Higher-Order Colored Unification

Download kwarc.info

Dieter Hutter, Michael Kohlhase

claim paper

Read More »

20

JFLP
2000

30views more JFLP 2000»

Stepwise Enhancement and Higher-Order Programming in Prolog

14 years 9 months ago

Stepwise Enhancement and Higher-Order Programming in Prolog

Download scholar.lib.vt.edu

Lee Naish, Leon Sterling

claim paper

Read More »

42

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

14 years 9 months ago

Topological Completeness for Higher-Order Logic

Download www.brics.dk

Steven Awodey, Carsten Butz

claim paper

Read More »

80

FUIN
2002

109views more FUIN 2002»

Another Example of Higher Order Randomness

14 years 9 months ago

Another Example of Higher Order Randomness

Download www.glyc.dc.uba.ar

We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability

Verónica Becher, Gregory J. Chaitin

claim paper

Read More »

54

Voted

JC
2002

50views more JC 2002»

Verifying Topological Indices for Higher-Order Rank Deficiencies

14 years 9 months ago

Verifying Topological Indices for Higher-Order Rank Deficiencies

Download interval.louisiana.edu

It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...

R. Baker Kearfott, Jianwei Dian

claim paper

Read More »

« Prev « First page 6 / 338 Last » Next »