Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rewriting systems for the surface classification theorem;Mathematical Structures in Computer Science;2010-05-27
2. Computing surfaces via pq-permutations;International Journal of Imaging Systems and Technology;2009-06
3. A geometrical procedure for computing relaxation;Annals of Pure and Applied Logic;2009-03
4. Permutative Logic;Computer Science Logic;2005
5. Permutative Additives and Exponentials;Logic for Programming, Artificial Intelligence, and Reasoning