Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tableaux for Lattices;Algebraic Methodology and Software Technology;2006
2. Constructing Rewrite-Based Decision Procedures for Embeddings and Termination;Lecture Notes in Computer Science;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