Articles

Kategorie Articles

Proof pearl: Regular expression equivalence and relation algebra

 |  Alexander Krauss

In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

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
Alexander

Related posts

Kategorie Articles
Mehr als die Summe der Teile: Modulare Software-Systeme mit Jigsaw
Johannes Weigend
Kategorie
Kategorie Articles
Cloud Native News #2: Konferenzeindrücke
Andreas Zitzelsberger
Kategorie
Kategorie Articles
Digital DNA for traditional companies
Kategorie