Automaton-based Techniques for Optimized Term Rewriting

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

88 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mathematics and Computer Science
Begeleider(s)/adviseur
  • Groote, Jan Friso, Promotor
  • Luttik, S.P. (Bas), Co-Promotor
Datum van toekenning30 sep. 2024
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's978-90-386-6099-8
StatusGepubliceerd - 30 sep. 2024

Bibliografische nota

Proefschrift.

Citeer dit