Search Sciweavers | Sciweavers

1730 search results - page 67 / 346

» Algebra and Computation

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

14 years 3 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

click to vote

ICCS
2005
Springer

99views Applied Computing» more ICCS 2005»

An Algebraic Method for Analyzing Open-Loop Dynamic Systems

14 years 3 months ago

Download www.apmaths.uwo.ca

Wenqin Zhou, David J. Jeffrey, Gregory J. Reid

claim paper

Read More »

click to vote

RELMICS
2005
Springer

97views Theoretical Computer Science» more RELMICS 2005»

A Framework for Kleene Algebra with an Embedded Structure

14 years 3 months ago

Download unit.aist.go.jp

Hitoshi Furusawa

claim paper

Read More »

click to vote

MFCS
2004
Springer

111views Theoretical Computer Science» more MFCS 2004»

Algebraic Recognizability of Languages

14 years 3 months ago

Download www.labri.fr

Pascal Weil

claim paper

Read More »

click to vote

ICALP
2003
Springer

79views Programming Languages» more ICALP 2003»

Polarized Process Algebra and Program Equivalence

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers