Kategorie Talks

Invited Talk: Formalized Regular Expression Equivalence and Relation Algebra (in Isabelle/HOL)

 |  Alexander Krauss

International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, September 2012 (Alexander Krauss)

Alexander Krauss

Fitting the topic

Kategorie News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
Christian Kamm
Kategorie
Kategorie Podcasts
PRODcast Folge #14: FinTech-Produkte
Ekkehard Schmider
Kategorie
Kategorie Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Kategorie
Kategorie Lectures
Web-Frontend Entwicklung für Informatiker
Dr. Josef Adersberger
Kategorie
Kategorie Lectures
Verteilte Verarbeitung
Johannes Weigend
Kategorie