クリーネ代数（Kleene代数）、コンウェイ半環（Conway半環） - (保存用) 檜山正幸のキマイラ飼育記メモ編

Zoltan Esik / Hans Leiβ "Greibach Normal Form in Algebraically Complete Semirings" →http://www.brics.dk/RS/02/46/BRICS-RS-02-46.pdf (46P)
Z. Esik "The Equational Theory of Fixed Points with Applications to Generalized Language Theory"→http://www.brics.dk/RS/01/22/BRICS-RS-01-22.pdf (24P)これは印刷した気がする。やっぱり→Esik; The Equational Theory of Fixed Points with ... - 檜山正幸のキマイラ飼育記メモ編
Dexter Kozen "On Kleene Algebras and Closed Semirings"→http://citeseer.ist.psu.edu/kozen90kleene.html (21P) これも印刷したかも？
Luigi Santocanale "μ-Bicomplete Categories and Parity Games"→http://citeseer.ist.psu.edu/566440.html (45P)

EsikとKozenのモノはもはや定番に近い。Santocanale（サントカネイル？）は知らなかったが、このヒト面白い感じだ。

Luigi Santocanale "From Parity Games to Circular Proofs (2002)"→http://citeseer.ist.psu.edu/santocanale02from.html が短い(12P)の総論だったので、印刷した。