ISR 2024 – 14th International School on Rewriting
August 25 – September 1, 2024, Obergurgl, Austria
Tracks
| A | first-order term rewriting |
| B | lambda-calculus and type theory |
| C | advanced courses |
| A | first-order term rewriting |
| B | lambda-calculus and type theory |
| C | advanced courses |