Kathrin Stark
Kathrin Stark
Affiliation: Heriot-Watt University Edinburgh
Pages in this Program
Work-in-Progress: A Tactic for Pattern Matching in Autosubst
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑