Synthesis of Programs in Abstract Data Types
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Algorithmic equality in Heyting arithmetic modulo
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Hi-index | 0.00 |