汉斯·休特尔;迈克尔·D·佩德森。 静态等效的逻辑特征。 (英语) Zbl 1316.68096号 Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173139-157(2007)。MSC公司:68问题85 03B70号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hüttel}和\textit{M.D.Pedersen},电子。注释Theor。计算。科学。173139--157(2007年;Zbl 1316.68096) 全文: 内政部
汉斯·休特尔;吉·斯尔巴 扩展乒乓协议的可决定性问题。 (英语) Zbl 1107.68042号 J.汽车。推理 36,编号1-2,125-147(2006).MSC公司:68第25页 03B25号 60年第68季度 68问题85 94A62 PDF格式BibTeX公司 XML格式引用 \textit{H.Hüttel}和\textit{J.Srba},J.Autom。推理36,No.1--2,125-147(2006;Zbl 1107.68042) 全文: 内政部