Search Sciweavers | Sciweavers

3454 search results - page 69 / 691

» Modern computer algebra

134

Voted

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 9 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

187

click to vote

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

15 years 9 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 6 months ago

Download homepages.inf.ed.ac.uk

Perdita Stevens

claim paper

Read More »

115

click to vote

ACS
2010

96views Distributed And Parallel Com...» more ACS 2010»

Homotopy Gerstenhaber Structures and Vertex Algebras

15 years 4 months ago

Download www.hausdorff-research-institute.uni-bonn.de

I. Gálvez, V. Gorbounov, A. Tonks

claim paper

Read More »

click to vote

ECEASST
2010

116views Computer Vision» more ECEASST 2010»

Algebraic Model Checking

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers