[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Effective interpolation and preservation in guarded logics
- 作者Benedikt, Michael; ten Cate, Balder; Boom, Michael Vanden
- 文件大小355.27KB
- 发表时间2014
- DOI10.1145/2603088.2603108
- 页码1-10
[ACM Press Conference companion - Denver, Colorado, United States (1995.05.07-1995.05.11)] Conference companion on Human factors in computing systems - CHI '95 - User Interface EngineeringSpool, Jared M.; Snyder, Carolyn; Schroeder, Will · 1995
[ACM Press CHI '99 extended abstracts - Pittsburgh, Pennsylvania (1999.05.15-1999.05.20)] CHI '99 extended abstracts on Human factors in computing systems - CHI '99 - Measuring website usabilitySpool, Jared M.; Scanlon, Tara; Snyder, Carolyn; Schroeder, Will · 1999
[ACM Press Conference companion - Vancouver, British Columbia, Canada (1996.04.13-1996.04.18)] Conference companion on Human factors in computing systems common ground - CHI '96 - Smarter usability testingSpool, Jared M.; Snyder, Carolyn; Robinson, Mavis · 1996
[ACM Press CHI 98 conference summary - Los Angeles, California, United States (1998.04.18-1998.04.23)] CHI 98 conference summary on Human factors in computing systems - CHI '98 - Product usabilitySpool, Jared M.; Scanlon, Tara; Snyder, Carolyn · 1998
[ACM Press CHI '97 extended abstracts - Atlanta, Georgia (1997.03.22-1997.03.27)] CHI '97 extended abstracts on Human factors in computing systems looking to the future - CHI '97 - Product usabilitySpool, Jared M.; Scanlon, Tara; Snyder, Carolyn · 1997
[ACM Press CHI 98 conference summary - Los Angeles, California, United States (1998.04.18-1998.04.23)] CHI 98 conference summary on Human factors in computing systems - CHI '98 - Measuring Website usabilitySpool, Jared M.; Scanlon, Tara; Snyder, Carolyn; Schroeder, Will · 1998
[ACM Press CHI 98 conference summary - Los Angeles, California, United States (1998.04.18-1998.04.23)] CHI 98 conference summary on Human factors in computing systems - CHI '98 - Web sites that workSpool, Jared M.; Schroeder, Will; Scanlon, Tara; Snyder, Carolyn · 1998