Sciweavers

149

FOCS
1994
IEEE

114views Theoretical Computer Science» more FOCS 1994»

Randomized and deterministic algorithms for geometric spanners of small diameter

15 years 8 months ago

Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q o...

Sunil Arya, David M. Mount, Michiel H. M. Smid

claim paper

Read More »

109

click to vote

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

15 years 8 months ago

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

135

click to vote

ICLP
1991
Springer

100views Automated Reasoning» more ICLP 1991»

{log}: A Logic Programming Language with Finite Sets

15 years 8 months ago

Download users.dimi.uniud.it

An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »

152

click to vote

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

15 years 8 months ago

Download www.clip.dia.fi.upm.es

Interpretation of Logic Programs 1

Patrick Cousot