Travelled to:1 × Italy
1 × Spain
2 × Germany
Collaborated with:Z.Khasidashvili R.Kennaway M.R.Sleep
Talks about:rewrit (2) determinist (1) experiment (1) structur (1) standard (1) orthogon (1) geometri (1) conflict (1) partial (1) languag (1)
Person: John R. W. Glauert
DBLP: Glauert:John_R=_W=
Contributed to:
2003
1997
1996
1990Wrote 4 papers:
- RTA-2003-KhasidashviliG #partial order #semantics #term rewriting
- Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) (ZK, JRWG), pp. 467–482.
- ICALP-1997-KhasidashviliG #geometry #orthogonal #reduction
- The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
- ALP-1996-KhasidashviliG #normalisation #standard
- Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.
- GG-1990-GlauertKS #graph grammar #named
- Dactl: An Experimental Graph Rewriting Language (JRWG, RK, MRS), pp. 378–395.