LIAFA, Paris University 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05;
机译:带有列表的程序是自动计数器
机译:线性数据结构的量化数据自动机:一种寄存器自动机模型,该模型可用于学习处理数组和列表的程序的不变量
机译:(混合)自动机和(随机)程序:随机程序的混合自动机晶格
机译:有名单的程序是柜台自动机
机译:自动贩卖机带计数器接受的语言。
机译:逆流线吸收免疫电泳是一种替代的诊断筛查试验用于反击阿列丁疾病(广告)根除计划中的电流免疫电泳
机译:有名单的程序是柜台自动机