Вы здесь
Lodaya K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proof theory for exeption handling in a tasking environment | 1990 | Lodaya K., Shyamasundar R. | Acta Informatica | 21.02.1991 | |||
| СТ | A Kleene Iteration for Parallelism | 1998 | Lodaya K., Weil P. | Lecture Notes in Computer Science | 22.12.1998 | |||
| СТ | Series-Parallel Posets: Algebra, Automata and Languages | 1998 | Lodaya K., Weil P. | Lecture Notes in Computer Science | 31.03.1998 | |||
| СТ | Hierarchical Structure of 1-Safe Petri Nets | 2003 | Lodaya K., Ranganayakulu D., Rangarajan K. | Lecture Notes in Computer Science | 14.01.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Proc./24th International Conference. Chennai, India, December 2004 | 2004 | Lecture Notes in Computer Science |
|
22.01.2005 | |||
| СБ | Logic and Its Applications: Proc./5th Indian Conference, ICLA 2013, Chennai, India, January 2013 | 2013 | Lecture Notes in Computer Science |
|
11.06.2013 |