Search Sciweavers | Sciweavers

2853 search results - page 102 / 571

» On Coherence in Computer Algebra

click to vote

GG
1990
Springer

94views Theoretical Computer Science» more GG 1990»

An Algebraic Theory of Graph Reduction

15 years 8 months ago

Download www.labri.fr

Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...

claim paper

Read More »

124

click to vote

CONCUR
1995
Springer

124views Distributed And Parallel Com...» more CONCUR 1995»

Delayed choice for process algebra with abstraction

15 years 7 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

122

Voted

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 7 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

123

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

15 years 6 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Mario Bravetti

claim paper

Read More »

136

click to vote

ACS
1999

103views Distributed And Parallel Com...» more ACS 1999»

Homotopy Structures for Algebras over a Monad

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers