Semiring-Augmented Process Relations

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Semiring-Augmented Process Relations

Vortrag von Stephan Mennicke
TBA


BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join