Search Sciweavers | Sciweavers

15777 search results - page 136 / 3156

» The Reformulation-Optimization Software Engine

Voted

RE
2001
Springer

82views Software Engineering» more RE 2001»

Will It Work?

15 years 6 months 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

15 years 6 months 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

15 years 6 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

109

Voted

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 6 months ago

Download www.fmi.uni-stuttgart.de

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

claim paper

Read More »

101

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers