Search Sciweavers | Sciweavers

10304 search results - page 138 / 2061

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

click to vote

ICTCS
2007
Springer

124views Theoretical Computer Science» more ICTCS 2007»

A formal framework for compositional compilation

15 years 7 months ago

Download ftp.disi.unige.it

Davide Ancona, Elena Zucca

claim paper

Read More »

click to vote

RTA
2007
Springer

131views Theoretical Computer Science» more RTA 2007»

Bottom-Up Rewriting Is Inverse Recognizability Preserving

15 years 7 months ago

Download dept-info.labri.fr

Irène Durand, Géraud Sénizerg...

claim paper

Read More »

click to vote

RTA
2007
Springer

81views Theoretical Computer Science» more RTA 2007»

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

15 years 7 months ago

Download fsl.cs.uiuc.edu

Mark Hills, Grigore Rosu

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 7 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

83views Theoretical Computer Science» more SOFSEM 2007»

Point-to-Point Shortest Path Algorithms with Preprocessing

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers