Change search
CiteExportLink to record
Permanent link

Direct link
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formalizing the Kleene Star for Square Matrices
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2014 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

This thesis gives a formal description of the Kleene star for square matrices over a Kleene algebra. It builds on previous work on Kleene algebras and their formal description in Isabelle/HOL, and is a step toward a formal proof that square matrices over a Kleene algebra form a Kleene algebra.

Place, publisher, year, edition, pages
IT, 14 002
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-216544OAI: diva2:690270
Educational program
Freestanding course
Available from: 2014-01-23 Created: 2014-01-23 Last updated: 2014-01-23Bibliographically approved

Open Access in DiVA

fulltext(512 kB)