СБ |
Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday |
2013 |
|
Lecture Notes in Computer Science |
- Coecke B.
- Ong L.
- Panangaden P.
|
|
|
07.08.2013 |
СБ |
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Ong L.
- de Queiroz R.
|
|
|
03.09.2012 |
СБ |
Typed Lambada Calculi and Applications: Proc./10th International Conference, TLCA 2011, Novi Sad, Serbia, June 2011 |
2011 |
|
Lecture Notes in Computer Science |
- Ong L.
|
|
|
26.07.2011 |
СБ |
Foundations of Software Science and Computational Structures: Proc./13th International Conference, FOSSACS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010 |
2010 |
|
Lecture Notes in Computer Science |
- Ong L.
|
|
|
16.06.2010 |
СБ |
Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005 |
2005 |
|
Lecture Notes in Computer Science |
- Ong L.
|
|
|
19.10.2005 |