Search Sciweavers | Sciweavers

11395 search results - page 172 / 2279

» Beyond computer science

165

Voted

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 11 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

295

click to vote

ACM
1995

261views Theoretical Computer Science» more ACM 1995»

Visualizing Action Semantics

15 years 11 months ago

Download www.cs.uiowa.edu

Ken Slonneger

claim paper

Read More »

161

click to vote

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

15 years 11 months ago

Download www-rocq.inria.fr

Frédéric Blanqui

claim paper

Read More »

157

click to vote

RTA
2000
Springer

89views Theoretical Computer Science» more RTA 2000»

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

15 years 11 months ago

Download www.loria.fr

Pierre-Etienne Moreau

claim paper

Read More »

174

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers