FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Transformation of DPO Grammars into Hypergraph Lambek Grammars with the Conjunctive Kleene Star

Tikhon Pshenitsyn

Formalization and Analysis of BPMN Using Graph Grammars

Tim Kräuter, Harald König, Adrian Rutle and Yngve Lamo
Total: 2 presentations.