Search Sciweavers | Sciweavers

4617 search results - page 31 / 924

» Automation of Diagrammatic Reasoning

126

click to vote

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 10 months ago

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

137

click to vote

FLOPS
1998
Springer

76views Automated Reasoning» more FLOPS 1998»

Online Type-Directed Partial Evaluation

15 years 10 months ago

Download repository.readscheme.org

Olivier Danvy

claim paper

Read More »

131

click to vote

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

15 years 10 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

129

click to vote

GIS
1998
ACM

99views Automated Reasoning» more GIS 1998»

Matching and Aligning Features in Overlayed Coverages

15 years 10 months ago

Download users.cs.cf.ac.uk

J. Mark Ware, Christopher B. Jones

claim paper

Read More »

122

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers