H. J. Sander Bruggink

1. Towards Alternating Automata for Graph Languages
   2015/11/03 by H. J. Sander Bruggink, Mathias Hülsbusch, Bruggink, H.J. Sander +3 · 1 citation
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #semigroups and automata theory
2. Recognizable languages of arrows and cospans
   2018/08/08 by H. J. Sander Bruggink, Barbara König · 1 citation
   Computer Science · #semigroups and automata theory #Logic, programming, and type systems #Advanced Graph Theory Research