Search Sciweavers | Sciweavers

15777 search results - page 171 / 3156

» The Reformulation-Optimization Software Engine

click to vote

AMAST
1993
Springer

102views Software Engineering» more AMAST 1993»

Peirce Algebras

14 years 9 days ago

Download math.chapman.edu

Chris Brink, Katarina Britz

claim paper

Read More »

click to vote

AMAST
1993
Springer

87views Software Engineering» more AMAST 1993»

Relation Algebras for Reasoning about Time and Space

14 years 9 days ago

Download orion.math.iastate.edu

Roger D. Maddux

claim paper

Read More »

click to vote

AMAST
1993
Springer

82views Software Engineering» more AMAST 1993»

An Overview of the SODA System

14 years 9 days ago

Download www.freidok.uni-freiburg.de

Peter Thiemann

claim paper

Read More »

click to vote

APL
1993
ACM

77views Software Engineering» more APL 1993»

Point-Wise Calculus

14 years 9 days ago

Download www.sci.usq.edu.au

Walter G. Spunde

claim paper

Read More »

click to vote

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers