Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Primitive recursive selection functions over abstract algebras
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Hi-index | 0.00 |