Completeness of Finitely Weighted Kleene Algebra with Tests.

Igor Sedlr

Browse the full WoLLIC paper archive.