An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
Program extraction in simply-typed higher order logic
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Analysis of air traffic track data with the autobayes synthesis system
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Automatic deductive synthesis of lisp programs in the system ALISA
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |