Вы здесь
Luo Z.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Petri-Net-Based Coordination Algorithms for Grid Transactions | 2005 | Tang F., Huang J. Zh., Wang Ch. -L., Luo Z. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.04.2005 | ||
| СТ | Coercive Subtyping in Type Theory | 1997 | Luo Z. | Lecture Notes in Computer Science | 18.07.1997 | |||
| СТ | A Unifying Theory of Dependent Types: the Schematic Approach | 1992 | Luo Z. | Lecture Notes in Computer Science | 07.08.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Conformal and Probabilistic Prediction with Applications: Proc./5th International Sumposium, COPA 2016, Madrid, Spain, April 2016 | 2016 | Lecture Notes in Artificial Intelligence |
|
16.06.2016 | |||
| СБ | Types for Proofs and Programs: Proc./Intern. Workshop, TYPES 2000, Durhum, UK, December 2000 | 2002 | Lecture Notes in Computer Science |
|
13.04.2002 |