Вы здесь
Yardeni E.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis | 1991 | Codish M., Dams D., Yardeni E. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 | |||
СТ | Polymorphically Typed Logic Programs | 1991 | Yardeni E., Fruehwirth T., Shapiro E. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 |