- Detlef Seese:
Linear time computable problems and logical descriptions. SEGRAGRA 1995: 246-259 - Duncan Shand, Simon Brock:
Proofs as graphs. SEGRAGRA 1995: 260-267 - M. Ronan Sleep:
SEMAGRAPH: the theory and practice of term graph rewriting. SEGRAGRA 1995: 268-276 - Gabriele Taentzer, Andy Schürr:
DIEGO, another step towards a module concept for graph transformation systems. SEGRAGRA 1995: 277-285 - Chris Wadsworth:
Graph reduction: a retrospective. SEGRAGRA 1995: 286 - Andrea Corradini, Ugo Montanari:
Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995. Electronic Notes in Theoretical Computer Science 2, Elsevier 1995 [contents]