Algorithimic Languages and Calculi /
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Nueva York, EUA :
Springer,
1997, c1997
|
| Цуврал: | (IFIP Advances in Information and Communication Technology)
|
| Онлайн хандалт: | Ver documento en línea |
Ижил төстэй зүйлс: Algorithimic Languages and Calculi /
- Theory Reasoning in Connection Calculi /
- Mobility in Process Calculi and Natural Computing /
- Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings /
- Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /
- Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /