Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated verification of refinement laws;Annals of Mathematics and Artificial Intelligence;2009-02
2. Tableaux for Lattices;Algebraic Methodology and Software Technology;2006
3. A Calculus for Set-Based Program Development;Formal Methods and Software Engineering;2003
4. Deriving Focused Lattice Calculi;Rewriting Techniques and Applications;2002
5. Knuth-Bendix Completion for Non-Symmetric Transitive Relations;Electronic Notes in Theoretical Computer Science;2001-11