Вы здесь

Kesner D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Explicit Substitutions for Objects and Functions 1998 Kesner D., Lopez P.E. M. Lecture Notes in Computer Science 13.10.1998
СТ Reasoning about Layered, Wildcard and Product Patterns 1994 Kesner D. Lecture Notes in Computer Science 01.11.1994
СТ Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi 1994 Di Cosmo R., Kesner D. Lecture Notes in Computer Science 11.08.1994
П Pattern Matching in Order-Sorted Languages 1991 Kesner D. Digital 09.05.1992