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
Ein Beitrag von
Alexander Krauss

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]

Mehr Informationen
Alexander
Chatbot
Schliessen