Search Sciweavers | Sciweavers

4617 search results - page 31 / 924

» Automation of Diagrammatic Reasoning

click to vote

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 6 months ago

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

click to vote

FLOPS
1998
Springer

76views Automated Reasoning» more FLOPS 1998»

Online Type-Directed Partial Evaluation

15 years 6 months ago

Download repository.readscheme.org

Olivier Danvy

claim paper

Read More »

click to vote

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

15 years 6 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

click to vote

GIS
1998
ACM

99views Automated Reasoning» more GIS 1998»

Matching and Aligning Features in Overlayed Coverages

15 years 6 months ago

Download users.cs.cf.ac.uk

J. Mark Ware, Christopher B. Jones

claim paper

Read More »

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers