Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D E G J K O P T V Z

B
Barnett, Lee	Programming by Term Rewriting
C
Cropper, Andrew	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract
D
Dershowitz, Nachum	Drags: an algebraic framework for graph rewriting
E
Ene, Nneka	A Port-graph Model for Finance
G
Grabmayer, Clemens	Modeling terms by graphs with structure constraints (two illustrations)
J
Jouannaud, Jean-Pierre	Drags: an algebraic framework for graph rewriting
K
Kahl, Wolfram	Semantics-Preserving DPO-Based Term Graph Rewriting
O
Okada, Mitsuhiro	On quasi ordinal diagram systems
Orejas, Fernando	Critical Pairs in Graph Transformation Systems
P
Plaisted, David	Programming by Term Rewriting
T
Takahashi, Yuta	On quasi ordinal diagram systems
Tourret, Sophie	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract
V
Varga, János	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting
Z
Zamdzhiev, Vladimir	A framework for rewriting families of string diagrams
Zhao, Yuhang	Semantics-Preserving DPO-Based Term Graph Rewriting