Search Sciweavers | Sciweavers

6597 search results - page 19 / 1320

» Orderings and Types in Databases

157

click to vote

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

15 years 6 months ago

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

111

click to vote

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

15 years 6 months ago

Download igitur-archive.library.uu.nl

Jan Springintveld

claim paper

Read More »

110

click to vote

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

15 years 6 months ago

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

click to vote

ADCM
2000

85views more ADCM 2000»

Construction of Runge-Kutta methods of Crouch-Grossman type of high order

15 years 3 months ago

Download www.math.ntnu.no

Zdzislaw Jackiewicz, Arne Marthinsen, Brynjulf Owr...

claim paper

Read More »

103

click to vote

PODS
1998
ACM

104views Database» more PODS 1998»

Typed Query Languages for Databases Containing Queries

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers