吉他

此软件的关键字
zbMATH中的参考文献(参考
Konstantindis,Stavros;Moreira,Nelma;Reis,Rogério:使用自动机和传感器随机生成错误控制代码(2018) Konstantindis,Stavros;Meijer,Casey;Moreira,Nelma;Reis,Rogério:通过传感器实现代码属性(2016) Nelma Moreira;David Pereira;Melo de Sousa,Simão:在Coq中决定Kleene代数项等价性(2015) 德迈尔,阿基姆;杜雷特·卢茨,亚历山德拉;伦巴第,西尔文;赛乌,卢卡;萨卡罗维奇,雅克:加权自动机和有理表达式的类型系统(2014) Lammich,Peter;Tuerk,Thomas:将数据精化应用于Hopcroft算法(2012) Moreira,Nelma;Pereira,David;Melo de Sousa,Simão:在Coq中决定正则表达式(in-)等价性(2012) Almeida,Marco;Moreira,Nelma;Reis,Rogério:增量DFA最小化(2011) Broda,Sabine;Machiavero,António;Moreira,Nelma;Reis,Rogério:偏导数自动机的平均状态复杂性:一种分析组合学方法(2011) Broda,Sabine;Machiavero,António;Moreira,Nelma;Reis,Rogério:偏导数自动机的平均状态数(2010) 阿尔梅达,安德烈;阿尔梅达,马可;阿尔维斯,何塞;莫雷拉,内尔玛;里斯,罗格里奥:法多和吉他(2009) ioport公司