Unique Fixed Point Induction for McCarthy's Amb
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
A logical characterization of efficiency preorders
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |