Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... types based on algebraic graph transformations -- Modular termination of term rewriting systems...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... and sub-PTIME graph transformers -- Partial strictness in two-phase locking -- Unified transaction model...”
Cover Image
Read Now

3
Published 2023
Springer Nature Singapore
Table of Contents: “... Heterogeneous Graph Transformer Networks -- System and Network security -- DRoT: A Decentralised Root of Trust...”