The following pages link to (Q4431346):
Displaying 3 items.
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars (Q1582010) (← links)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST (Q4917051) (← links)
- GETGRATS (Q4923529) (← links)