Вы здесь
Leivant D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Predicative Recurrence in Finite Types | 1994 | Leivant D. | Lecture Notes in Computer Science | 02.08.1994 | |||
| СТ | Intrinsic Theories and Computational Complexity | 1995 | Leivant D. | Lecture Notes in Computer Science | Logic and Computational Complexity | 27.09.1995 | ||
| СТ | Ramified recurrence and computational complexity II: Substitution and poly-space | 1995 | Leivant D., Marion J. -Y. | Lecture Notes in Computer Science | Computer Science Logic | 29.08.1995 | ||
| СТ | Applicative Control and Computational Complexity | 1999 | Leivant D. | Lecture Notes in Computer Science | 12.11.1999 | |||
| СТ | Termination Proofs and Complexity Certification | 2001 | Leivant D. | Lecture Notes in Computer Science | 04.11.2001 | |||
| СТ | Partial Correctness Assertions Provable in Dynamic Logics | 2004 | Leivant D. | Lecture Notes in Computer Science | 30.04.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Logic and Computational Complexity: Selected Papers/ International Workshop LCC 94. Indianapolis, IN, USA, October 1994 | 1995 | Lecture Notes in Computer Science |
|
26.09.1995 | |||
| СБ | Logic, Language, Information, and Computation: Proc./14th International Workshop, WoLLIC 2007. Rio de Janeiro, Brazil, July 2007 | 2007 | Lecture Notes in Computer Science |
|
08.09.2007 | |||
| СБ | Logic, Language, Information, and Computation: Proc./22nd International Workshop, WoLLIC 2015, Bloomington,IN,USA, July 2015 | 2015 | Lecture Notes in Computer Science |
|
15.10.2015 |