Search Sciweavers | Sciweavers

10392 search results - page 171 / 2079

» Introduction to Computer Science

105

Voted

RTA
1998
Springer

139views Theoretical Computer Science» more RTA 1998»

Decidable Approximations of Sets of Descendants and Sets of Normal Forms

15 years 6 months ago

Download hal.archives-ouvertes.fr

Thomas Genet

claim paper

Read More »

100

click to vote

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

15 years 6 months ago

Download www.cs.sunysb.edu

Radu Grosu

claim paper

Read More »

click to vote

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 6 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

203

Voted

ACM
1995

261views Theoretical Computer Science» more ACM 1995»

Visualizing Action Semantics

15 years 6 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 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers