Automaton-based Techniques for Optimized Term Rewriting

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

304 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Groote, Jan Friso, Promotor Luttik, S.P. (Bas), Copromotor
Award date	30 Sept 2024
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Print ISBNs	978-90-386-6099-8
Publication status	Published - 30 Sept 2024

Proefschrift.

Access to Document

@phdthesis{0481e4a04a194b32aa7adf7ea08cf430,

title = "Automaton-based Techniques for Optimized Term Rewriting",

author = "Erkens, \{Ricardo Johannes Antonius\}",

note = "Proefschrift.",

year = "2024",

month = sep,

day = "30",

language = "English",

isbn = "978-90-386-6099-8",

series = "IPA Dissertation Series",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}