Entity usage

Showing below up to 24 results in range #1 to #24.

1. Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system: Label: en
2. Guaranteeing safe destructive updates through a type system with uniqueness information for graphs: Label: en
3. Logic based structure rewriting systems: Label: en
4. On relating rewriting systems and graph grammars to event structures: Label: en
5. Set-theoretic graph rewriting: Label: en
6. Uniform-modelling in graph grammar specifications: Label: en
7. Contextual occurrence nets and concurrent constraint programming: Label: en
8. Semantics of full statecharts based on graph rewriting: Label: en
9. Parallelism in single-pushout graph rewriting: Label: en
10. Single pushout transformations of equationally defined graph structures with applications to actor systems: Label: en
11. Relational structures and their partial morphisms in view of single pushout rewriting: Label: en
12. ESM systems and the composition of their computations: Label: en
13. Graphs and designing: Label: en
14. A computational model for generic graph functions: Label: en
15. Canonical derivations for high-level replacement systems: Label: en
16. Recognizable sets of graphs of bounded tree-width: Label: en
17. Jungle rewriting: An abstract description of a lazy narrowing machine: Label: en
18. Note on standard representation of graphs and graph derivations: Label: en
19. Abstract graph derivations in the double pushout approach: Label: en
20. Graph-grammar semantics of a higher-order programming language for distributed systems: Label: en
21. Extending graph rewriting with copying: Label: en
22. Decomposability helps for deciding logics of knowledge and belief: Label: en
23. Syntax and semantics of hybrid database languages: Label: en
24. Path-controlled graph grammars for multiresolution image processing and analysis: Label: en