Search Sciweavers | Sciweavers

13306 search results - page 91 / 2662

» Theoretical Computer Science

click to vote

ERSHOV
2006
Springer

68views Theoretical Computer Science» more ERSHOV 2006»

Visual Rules Modeling

15 years 8 months ago

Download rewerse.net

Sergey Lukichev, Gerd Wagner

claim paper

Read More »

click to vote

GI
2000
Springer

77views Theoretical Computer Science» more GI 2000»

SWING: Eine Suchmaschine mit Datenbankanschluß

15 years 8 months ago

Download wwwiti.cs.uni-magdeburg.de

Andreas Heuer, Gunnar Weber

claim paper

Read More »

109

click to vote

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 8 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

124

click to vote

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

15 years 8 months ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

113

click to vote

STACS
2000
Springer

101views Theoretical Computer Science» more STACS 2000»

Hereditary History Preserving Bisimilarity Is Undecidable

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers