Arthur Azevedo de Amorim

Ein Blick auf TopKAT und seine Rolle bei der Analyse von Computerprogrammen.

Ein Blick auf die Komplexitäten der Kleene-Algebra mit Kommutativitätsbedingungen.