Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 1, для научной тематики: Higher-order


1.

Proving the Equivalence of Higher-Order Terms by Means of Supercompilation (публикация автора на scipeople)      

Ilya Klyuchnikov, Sergei Romanenko - Lecture Notes in Computer Science , 2010
Ilya Klyuchnikov and Sergei Romanenko. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009, pages 150-158.