An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
- Published in:
- Scientific Annals of Computer Science, 2010, v. 20, p. 53
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2010 AND VI 20
Results: 5
1
2
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions.
- Published in:
- Scientific Annals of Computer Science, 2010, v. 20, p. 97
- By:
- Publication type:
- Article
3
Timed Operational Semantics and Well-Formedness of Shape Calculus.
- Published in:
- Scientific Annals of Computer Science, 2010, v. 20, p. 33
- By:
- Publication type:
- Article
4
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
- Published in:
- Scientific Annals of Computer Science, 2010, v. 20, p. 1
- By:
- Publication type:
- Article
5
State Space Reduction for Dynamic Process Creation.
- Published in:
- Scientific Annals of Computer Science, 2010, v. 20, p. 131
- By:
- Publication type:
- Article