提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ictac/RiescoR12AU-里斯科，阿德里安非盟-罗德里格斯-霍塔拉，胡安TI-建造商系统的S-窄化。2012年9月24日至27日，印度班加罗尔，第九届国际学术讨论会，BT——计算的理论方面。诉讼程序SP-136EP-1502012年上半年//DO-2007年10月10日/978-3642-32943-2_10UR-（欧元）https://doi.org/10.1007/978-3642-32943-2_10急诊室-