Sciweavers

12052 search results - page 21 / 2411
» compute 2010
Sort
View
ENTCS
2002
58views more  ENTCS 2002»
13 years 10 months ago
Computability of Partial Delaunay Triangulation and Voronoi Diagram
Ali Asghar Khanban, Abbas Edalat, André Lie...
ENTCS
1998
63views more  ENTCS 1998»
13 years 10 months ago
Proof theory and computational analysis
Ulrich Kohlenbach