Author:
Bloom Stephen L.,Elgot Calvin C.,Wright Jesse B.
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Axiomatizing weighted synchronization trees and weighted bisimilarity;Theoretical Computer Science;2014-05
2. Dagger extension theorem;Mathematical Structures in Computer Science;2011-08-22
3. Kleene Theorem in Partial Conway Theories with Applications;Algebraic Foundations in Computer Science;2011
4. Fixed Point Theory;Monographs in Theoretical Computer Science;2009
5. How Iterative are Iterative Algebras?;Electronic Notes in Theoretical Computer Science;2006-10