4 commits

Author	SHA1	Message	Date
Joshua Moerman	25a70d0c9b	Nom: adds some tikz pictures. ESM: copied the paper in.	2018-09-17 17:35:33 +02:00
Joshua Moerman	ba248a3aa4	Test methods and Learning nominal automata. Loads of references.	2018-08-14 11:42:22 +02:00
Joshua Moerman	a41524b7c8	Learning Nom Autom.	2018-08-07 16:15:28 +02:00
Joshua Moerman	56de3e67c4	Started with Learning Nom. Aut.. Adds biblio. Bit on algorithms typesetting.	2018-08-02 17:54:28 +02:00