Вы здесь
Mcallester D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automated Inductive Reasoning About Logic Programs | 1988 | Elkan C., Mcallester D. | Logic Programming: Proc./Fifth Intern.Conf. and Symp. | 13.10.1994 | |||
| СТ | GSAT and Dynamic Backtracking | 1994 | Ginsberg M. L., Mcallester D. | Lecture Notes in Computer Science | 22.12.1994 | |||
| СТ | Linear-time Subtransitive Control Flow Analysis | 1997 | Heintze N., Mcallester D. | SIGPLAN Notices | 09.07.1997 | |||
| СТ | On the Complexity of Set-Based Analysis | 1997 | Heintze N., Mcallester D. | SIGPLAN Notices | 01.10.1997 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Deduction - CADE-17: Proc./17th Intern. Conf. on Automated Deduction. Pittsburgh, PA, USA, June 2000 | 2000 | Lecture Notes in Artificial Intelligence |
|
22.07.2000 | |||
| СБ | Logic for Programming and Automated Reasoning: Proc./6th Intern. Conf., LPAR 99. Tbilisi, Georgia, September 1999 | 1999 | Lecture Notes in Artificial Intelligence |
|
30.09.1999 |