STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
GCM Session 2: Termination of Rewriting, Graph Parsing, Graph FormulasGCM at M 201
Chair(s): Detlef Plump University of York
13:30
30m
Paper
Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings
GCM
Qi Qiu Université Grenoble Alpes
File Attached
14:00
30m
Paper
Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
GCM
Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München
File Attached
14:30
30m
Paper
Parsing Hypergraphs using Context-Free Positional Grammars
GCM
Gennaro Costagliola Università di Salerno, Federico Vastarini University of Salerno
File Attached
:
:
:
: