Search Sciweavers | Sciweavers

10304 search results - page 89 / 2061

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

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

15 years 7 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

click to vote

SOFSEM
2005
Springer

99views Theoretical Computer Science» more SOFSEM 2005»

Lower Bounds on the OBDD Size of Graphs of Some Popular Functions

15 years 7 months ago

Download ls2-www.cs.uni-dortmund.de

Daniel Sawitzki

claim paper

Read More »

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

15 years 7 months ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

Voted

STACS
2005
Springer

108views Theoretical Computer Science» more STACS 2005»

Minimizing NFA's and Regular Expressions

15 years 7 months ago

Download www.thi.informatik.uni-frankfurt.de

Gregor Gramlich, Georg Schnitger

claim paper

Read More »

103

click to vote

WG
2005
Springer

86views Theoretical Computer Science» more WG 2005»

Locally Consistent Constraint Satisfaction Problems with Binary Constraints

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers