1
Gepubliceerd in 2015
Inhoudsopgave: ...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2013
Inhoudsopgave: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2014
Inhoudsopgave: ... Gate -- Compositional Computational Reflection -- An Isabelle Proof Method Language -- Proof Pearl...
Volledige tekst
Elektronisch E-boek