さまざまな半環、(ホーン)等式的理論など
半環関係:
- Esik/Kuich, Rationally Additive Semirings →http://www.brics.dk/RS/01/42/BRICS-RS-01-42.pdf 第2章を良く読んでまとめること。cf. →圏のloopingと不動点 - 檜山正幸のキマイラ飼育記 メモ編
- Esik/Kuich, Inductive *-Semirings →http://www.brics.dk/RS/00/27/BRICS-RS-00-27.pdf オ勉強用の教科書つう感じ!
- Bloom/Esik An Extension Theorem with an Application to Formal Tree Series→http://www.brics.dk/RS/02/19/BRICS-RS-02-19.pdf
- Kozen, On Kleene Algebras and Closed Semirings→http://citeseer.ist.psu.edu/39478.html
- Santocanale, On the Equational Definition of the Least Prefixed Point (2003) →http://citeseer.ist.psu.edu/santocanale03equational.html
- Robin Cockett / Luigi Santocanale, Induction, Coinduction, and Adjoints (2002) →http://citeseer.ist.psu.edu/687782.html
- Penn, Efficient Transitive Closure of Sparse Matrices over Closed Semiring→http://citeseer.ist.psu.edu/689131.html