Вы здесь
Bronsard F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Framework of Directionality for Proving Termination of Logic Programs | 1992 | Bronsard F., Lakshman T. K., Reddy U. S. | Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming | 19.12.1994 | |||
| СТ | Axiomatization of Fuctional Logic Language | 1990 | Bronsard F., Reddy U. | Lecture Notes in Computer Science | 09.02.1991 |