Вы здесь
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 |