Search Sciweavers | Sciweavers

1730 search results - page 49 / 346

» Algebra and Computation

104

click to vote

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 »

157

click to vote

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 4 months ago

Download homepages.inf.ed.ac.uk

Perdita Stevens

claim paper

Read More »

Voted

ACS
2010

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

Homotopy Gerstenhaber Structures and Vertex Algebras

15 years 1 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 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers