806 search results - page 31 / 162 » Algebraic Structures of B-series |
TGC
2010
Springer
13 years 5 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
FMCO
2005
Springer
14 years 1 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
BIRTHDAY
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
ACS
2005
13 years 7 months ago
2005
We study internal structures in the category of algebras for an operad, and show that these themselves admit an operadic description. The main case of interest is where the operad...
ISCI
2008
13 years 7 months ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...