Sciweavers

1209 search results - page 7 / 242

» Universal Algebra and Computer Science

14

MFCS
1990
Springer

49views Theoretical Computer Science» more MFCS 1990»

On Kleene Algebras and Closed Semirings

14 years 19 days ago

On Kleene Algebras and Closed Semirings

Download ecommons.library.cornell.edu

Dexter Kozen

claim paper

Read More »

29

CCA
2009
Springer

159views Theoretical Computer Science» more CCA 2009»

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

14 years 13 days ago

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

Download theoinf.math.uni-siegen.de

Andrej Bauer, Jens Blanck

claim paper

Read More »

36

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

14 years 4 days ago

Higher-Order Algebra with Transfinite Types

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

24

GG
2008
Springer

85views Theoretical Computer Science» more GG 2008»

Towards an Algebraic Theory of Bidirectional Transformations

13 years 9 months ago

Towards an Algebraic Theory of Bidirectional Transformations

Download homepages.inf.ed.ac.uk

Perdita Stevens

claim paper

Read More »

29

CONCUR
1993
Springer

93views Distributed And Parallel Com...» more CONCUR 1993»

A Practical Technique for Process Abstraction

14 years 21 days ago

A Practical Technique for Process Abstraction

Download ect.bell-labs.com

cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...

Glenn Bruns

claim paper

Read More »

« Prev « First page 7 / 242 Last » Next »