Sciweavers

20175 search results - page 100 / 4035
» Is abstraction the key to computing
Sort
View
67
Voted
TLCA
1997
Springer
15 years 4 months ago
Primitive Recursion for Higher-Order Abstract Syntax
Joëlle Despeyroux, Frank Pfenning, Carsten Sc...
81
Voted
STACS
1993
Springer
15 years 4 months ago
Exact Algorithms for a Geometric Packing Problem (Extended Abstract)
Ludek Kucera, Kurt Mehlhorn, B. Preis, E. Schwarze...
67
Voted
TLCA
1993
Springer
15 years 4 months ago
An Abstract Notion of Application
Pietro Di Gianantonio, Furio Honsell
STACS
1990
Springer
15 years 4 months ago
On the Construction of Abstract Voronoi Diagrams
Kurt Mehlhorn, Stefan Meiser, Colm Ó'D&uacu...