Вы здесь
Suzuki T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides | 1995 | Suzuki T., Middeldorp A., Ida T. | Lecture Notes in Computer Science | 27.04.1995 | |||
| СТ | Abstract Machine Approach to Operational Semantics of Prolog | 1992 | Ida T., Nakamura A., Suzuki T., Nakagawa K. | J. Information Processing | 24.06.1993 |