Das Paper On the Separability Problem of VASS Reachability Languages wurde auf der LICS 2024 mit dem Distuingished Paper Award ausgezeichnet. Glückwünsche gehen an die Autoren des TCS Erin Keskin und Roland Meyer.
Das Paper On the Separability Problem of VASS Reachability Languages wurde auf der LICS 2024 mit dem Distuingished Paper Award ausgezeichnet. Glückwünsche gehen an die Autoren des TCS Erin Keskin und Roland Meyer.