Search Sciweavers | Sciweavers

15777 search results - page 143 / 3156

» The Reformulation-Optimization Software Engine

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

14 years 15 days ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

click to vote

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

14 years 15 days ago

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

click to vote

AC
2000
Springer

101views Software Engineering» more AC 2000»

Abstract Machines, Control, and Sequents

14 years 15 days ago

Download www.pps.jussieu.fr

Pierre-Louis Curien

claim paper

Read More »

click to vote

AC
2000
Springer

72views Software Engineering» more AC 2000»

Normalization and Partial Evaluation

14 years 15 days ago

Download www.diku.dk

Peter Dybjer, Andrzej Filinski

claim paper

Read More »

click to vote

AC
2000
Springer

181views Software Engineering» more AC 2000»

An Introduction to Low-Density Parity-Check Codes

14 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers