Search Sciweavers | Sciweavers

16626 search results - page 175 / 3326

» Computing is a natural science

156

Voted

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

15 years 10 months ago

Download www.cs.sunysb.edu

Radu Grosu

claim paper

Read More »

155

click to vote

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 10 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

280

click to vote

ACM
1995

261views Theoretical Computer Science» more ACM 1995»

Visualizing Action Semantics

15 years 10 months ago

Download www.cs.uiowa.edu

Ken Slonneger

claim paper

Read More »

150

Voted

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

15 years 10 months ago

Download www-rocq.inria.fr

Frédéric Blanqui

claim paper

Read More »

149

Voted

RTA
2000
Springer

89views Theoretical Computer Science» more RTA 2000»

REM (Reduce Elan Machine): Core of the New ELAN Compiler

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers