Search Sciweavers | Sciweavers

10271 search results - page 139 / 2055

» Computer Science

click to vote

GI
2000
Springer

77views Theoretical Computer Science» more GI 2000»

SWING: Eine Suchmaschine mit Datenbankanschluß

15 years 6 months ago

Download wwwiti.cs.uni-magdeburg.de

Andreas Heuer, Gunnar Weber

claim paper

Read More »

104

click to vote

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers