Publication | Closed Access

Computing with graph rewriting systems with priorities

EngineeringGraph TheoryAutomated ReasoningFormal MethodsComputational ComplexityComputer ScienceCombinatorial OptimizationRewriting SystemGraph AlgorithmGraph Processing