Search Sciweavers | Sciweavers

2853 search results - page 94 / 571

» On Coherence in Computer Algebra

click to vote

CIE
2006
Springer

70views Applied Computing» more CIE 2006»

A Subrecursive Refinement of the Fundamental Theorem of Algebra

15 years 7 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

15 years 7 months ago

Download staff.science.uva.nl

Alban Ponse, Mark van der Zwaag

claim paper

Read More »

109

Voted

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 7 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

164

Voted

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

15 years 7 months ago

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

click to vote

GG
2008
Springer

85views Theoretical Computer Science» more GG 2008»

Towards an Algebraic Theory of Bidirectional Transformations

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers