Sciweavers

3221 search results - page 38 / 645

» Termination of Linear Programs

98

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

15 years 7 months ago

Evolving Algebras and Linear Time Hierarchy

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

82

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

15 years 7 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

85

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

15 years 7 months ago

Linear Speed-Up, Information Vicinity, and Finite-State Machines

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

105

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 6 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

66

ICALP
2010
Springer

135views Programming Languages» more ICALP 2010»

Linear Orders in the Pushdown Hierarchy

15 years 6 months ago

Linear Orders in the Pushdown Hierarchy

Download igm.univ-mlv.fr

Laurent Braud, Arnaud Carayol

claim paper

Read More »

« Prev « First page 38 / 645 Last » Next »