Search Sciweavers | Sciweavers

10304 search results - page 154 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 5 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

192

click to vote

ACM
1995

261views Theoretical Computer Science» more ACM 1995»

Visualizing Action Semantics

15 years 5 months ago

Download www.cs.uiowa.edu

Ken Slonneger

claim paper

Read More »

click to vote

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

15 years 5 months ago

Download www-rocq.inria.fr

Frédéric Blanqui

claim paper

Read More »

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 5 months ago

Download www.loria.fr

Pierre-Etienne Moreau

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers