Search Sciweavers | Sciweavers

835 search results - page 1 / 167

» Geometric Logic in Computer Science

click to vote

IMPERIAL
1993

79views Formal Methods» more IMPERIAL 1993»

Geometric Logic in Computer Science

14 years 3 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

click to vote

BSL
2006

109views more BSL 2006»

Computing with functionals - computability theory or computer science?

13 years 11 months ago

Download folk.uio.no

We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...

Dag Normann

claim paper

Read More »

click to vote

WG
2007
Springer

87views Theoretical Computer Science» more WG 2007»

Approximation Algorithms for Geometric Intersection Graphs

14 years 5 months ago

Download www.cs.le.ac.uk

Klaus Jansen

claim paper

Read More »

click to vote

FOCS
2000
IEEE

97views Theoretical Computer Science» more FOCS 2000»

Polynomial Time Approximation Schemes for Geometric k-Clustering

14 years 3 months ago

Download www.cs.ucla.edu

Rafail Ostrovsky, Yuval Rabani

claim paper

Read More »

click to vote

FOCS
1994
IEEE

87views Theoretical Computer Science» more FOCS 1994»

More Output-Sensitive Geometric Algorithms (Extended Abstract)

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers