standard algebraic notions

CMG
1996

158views Theoretical Computer Science» more CMG 1996»

Discovering The Relationships Between Metrics

14 years 9 days 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

14 years 2 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