[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Algebraic reasoning and completeness in typed languages
- 作者Riecke, Jon G.; Subrahmanyam, Ramesh
- 文件大小960.16KB
- 发表时间1993
- DOI10.1145/158511.158627
- 页码185-195
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - RichVSMAbbasi, Rabeeh; Staab, Steffen · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - To://Garcia Lopez, Pedro; Espelt, Marc · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - <i>HMNews</i>Montagnuolo, Maurizio; Ferri, Marco; Messina, Alberto · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - HyperSeaStyliaras, Georgios D.P.; Christodoulou, Sotiris P. · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - WebNCDenoue, Laurent; Adcock, John; Carter, Scott; Golovchinsky, Gene · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - Tag visionMarcellin, Lara; Politi, Roberto · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - 2LIPGardenJankowski, Jacek; Irzynska, Izabela; McDaniel, Bill; Decker, Stefan · 2009
[ACM Press the 20th ACM conference - Torino, Italy (2009.06.29-2009.07.01)] Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09 - Web 3.0Cena, Federica; Farzan, Rosta; Lops, Pasquale · 2009