Search Sciweavers | Sciweavers

15777 search results - page 136 / 3156

» The Reformulation-Optimization Software Engine

click to vote

RE
2001
Springer

82views Software Engineering» more RE 2001»

Will It Work?

14 years 16 days ago

Download www.friendsofeurope.org

Jonathan Hammond, Rosamund Rawlings, Anthony Hall

claim paper

Read More »

click to vote

TACS
2001
Springer

108views Software Engineering» more TACS 2001»

Solo Diagrams

14 years 16 days ago

Download user.it.uu.se

Cosimo Laneve, Joachim Parrow, Björn Victor

claim paper

Read More »

click to vote

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

14 years 16 days ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

14 years 16 days ago

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

14 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers