Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2007
Preface
-
Nerode A.,
Artemov S.
-
в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4514, тезисы, с. v
-
редактор
Артемов Сергей Николаевич
-
-
2007
The intensional lambda calculus
-
Artemov Sergei,
Bonelli Eduardo
-
в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4514, тезисы, с. 12-25
DOI
-
редактор
Артемов Сергей Николаевич