Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Abstracting refinements for transformation
Nordic Journal of Computing
Structured formal development in Isabelle
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
CYPRESS-Soar: a case study in search and learning in algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.01 |