Allan van Hulst

activity

20142022

collaborators

Showing 2021Show all

2 papers · 1 filter

cs.LO2021

A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof

Allan van Hulst

Grabmayer and Fokkink recently presented a finite and complete axiomatization for 1-free process terms over the binary Kleene star under bismilarity equivalence (proceedings of LIC…

math.CO2021

Adjoining edges to $G □ H$ to construct a minimal dominating set of size $γ (G) γ (H)$

Allan van Hulst

For graphs $G, H$ it is possible to add $(∣ V (G) ∣ - γ (G)) (∣ V (H) ∣ - γ (H))$ edges to the Cartesian product $G □ H$ such that a minimal dominating set $D$ of size $γ (G) γ (H)$ e…

A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof

Adjoining edges to G□H to construct a minimal dominating set of size γ(G)γ(H)

Adjoining edges to $G □ H$ to construct a minimal dominating set of size $γ (G) γ (H)$