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)

Ein Beitrag von
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

Mehr Informationen