Bachelor Informatica



The following thesis was written by a student in the 2018-2019 class of the Bachelor Informatica programme at Leiden University.


Thesis details

Title A Decision Procedure for Weighted Automata Equivalence
Student Weijer, W. de
Programme Bachelor Informatica
Year 2018-2019
Thesis Open Thesis PDF

Citation details

Weijer, W. de , A Decision Procedure for Weighted Automata Equivalence, Thesis Bachelor Informatica, Leiden University, 2019.