Search Sciweavers | Sciweavers

17298 search results - page 117 / 3460

» Abstract computing machines

119

click to vote

TLCA
1997
Springer

94views Theoretical Computer Science» more TLCA 1997»

Primitive Recursion for Higher-Order Abstract Syntax

15 years 10 months ago

Download www.cs.cmu.edu

Joëlle Despeyroux, Frank Pfenning, Carsten Sc...

claim paper

Read More »

128

click to vote

STACS
1993
Springer

81views Theoretical Computer Science» more STACS 1993»

Exact Algorithms for a Geometric Packing Problem (Extended Abstract)

15 years 10 months ago

Download www.mpi-inf.mpg.de

Ludek Kucera, Kurt Mehlhorn, B. Preis, E. Schwarze...

claim paper

Read More »

113

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

15 years 10 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

111

click to vote

STACS
1990
Springer

96views Theoretical Computer Science» more STACS 1990»

On the Construction of Abstract Voronoi Diagrams

15 years 10 months ago

Download www.mpi-inf.mpg.de

Kurt Mehlhorn, Stefan Meiser, Colm Ó'D&uacu...

claim paper

Read More »

139

click to vote

ICDCS
2010
IEEE

168views Distributed And Parallel Com...» more ICDCS 2010»

Optimizing the Spatio-temporal Distribution of Cyber-Physical Systems for Environment Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers