Search Sciweavers | Sciweavers

1730 search results - page 48 / 346

» Algebra and Computation

click to vote

MFCS
1990
Springer

49views Theoretical Computer Science» more MFCS 1990»

On Kleene Algebras and Closed Semirings

14 years 2 months ago

Download ecommons.library.cornell.edu

Dexter Kozen

claim paper

Read More »

click to vote

CCA
2009
Springer

159views Theoretical Computer Science» more CCA 2009»

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

14 years 1 months ago

Download theoinf.math.uni-siegen.de

Andrej Bauer, Jens Blanck

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

151views Applied Computing» more BIRTHDAY 2006»

Elementary Algebraic Specifications of the Rational Complex Numbers

14 years 1 months ago

Download www.cs.swan.ac.uk

Jan A. Bergstra, John V. Tucker

claim paper

Read More »

click to vote

CIE
2006
Springer

70views Applied Computing» more CIE 2006»

A Subrecursive Refinement of the Fundamental Theorem of Algebra

14 years 1 months ago

Download www.cs.swan.ac.uk

Peter Peshev, Dimiter Skordev

claim paper

Read More »

click to vote

CIE
2006
Springer

78views Applied Computing» more CIE 2006»

An Introduction to Program and Thread Algebra

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers