standard algebraic notions

CMG
1996

158views Theoretical Computer Science» more CMG 1996»

Discovering The Relationships Between Metrics

13 years 8 months ago

Consider yourself faced with learning about a new system. You have lots of measurements available, but you really don't know which measurements affect the values of others. H...

Bernard Domanski

claim paper

Read More »

click to vote

CONCUR
2009
Springer

192views Distributed And Parallel Com...» more CONCUR 2009»

Algebra for Infinite Forests with an Application to the Temporal Logic EF

13 years 10 months ago

Download www.mimuw.edu.pl

We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...

Mikolaj Bojanczyk, Tomasz Idziaszek

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers