| Name | Last modified | Size |
|
| 00-Introduction.pdf | 2023-10-17 11:11 | 168K |
| tour-of-conversions.pdf | 2023-10-17 11:11 | 178K |
| 10-Presburger_Arithmetic.pdf | 2022-12-20 10:11 | 340K |
| 14-Omega_Verification.pdf | 2023-02-07 10:10 | 489K |
| 06-Pattern_Matching.pdf | 2022-11-21 10:00 | 511K |
| 12-Omega_Boolean.pdf | 2024-01-22 09:51 | 675K |
| 04-Implementations_sets.pdf | 2023-11-07 09:56 | 684K |
| 03-Minimization_and_Reduction.pdf | 2023-11-02 13:51 | 694K |
| 01-Automata_Theory.pdf | 2024-01-30 13:29 | 790K |
| 05-Implementations_relations.pdf | 2023-11-23 13:36 | 834K |
| 07-Fixed-length.pdf | 2023-12-04 17:01 | 1.0M |
| 09-MSOL.pdf | 2023-12-14 13:48 | 1.1M |
| 08-Verification.pdf | 2021-12-08 10:17 | 1.1M |
| 11-Omega-Automata.pdf | 2024-01-11 12:56 | 1.3M |
| 13-Omega_Emptiness.pdf | 2024-01-30 12:00 | 1.4M |
| 02-Classes_and_conversions.pdf | 2023-10-25 08:17 | 2.0M |
|