Skip to main content
Skip to navigation
Sign in
Study
Research
Business
Alumni
News
Engagement
Search Warwick
Search
Department of Computer Science
Study with us
Undergraduate Degrees
Postgraduate Taught Degrees
Degree Apprenticeships
Teaching
Computer Science with Business Studies
(Restricted permissions)
Coronavirus
(Restricted permissions)
Student Handbook 23/24
(Restricted permissions)
Course Structures
Modules Taught
Ethical Consent
Degree Apprenticeships
(Restricted permissions)
Research
Doctoral Studies
Research Excellence Framework 2021
Interdisciplinary Research Centres
Impact and Innovation
Applied Computing
Artificial Intelligence and Human-Centred Computing
Data Science, Systems and Security
Theory and Foundations
People
Andrzej Murawski
Research Students
News
Events
Computer Science Colloquium
Networking Workshop 2022
Quantum Computing Colloquium
Outreach
Sutton Trust Summer School 2022
News
Upcoming Events
Past Events
Projects
Staff Resources
(Restricted permissions)
Report
(Restricted permissions)
Welfare
Athena SWAN
Conference Support Award
Dignity at Warwick
Equality, Diversity and Inclusion
News
Support for Parents
Vacancies
Intranet
(Restricted permissions)
People
Andrzej Murawski
esslli15
ESSLLI 2015
Automata over Infinite Alphabets
Lecturers
Andrzej Murawski
&
Nikos Tzevelekos
Lecture slides
Register automata
Pushdown register automata
Fresh-register automata
Automata with history
