自密实混凝土

此软件的关键字
zbMATH参考文献(参考
11篇文章
Stephen Skeirik;Meseguer,José:变量可满足性的Metalevel算法(2018) Stephen Skeirik;Meseguer,José:变量可满足性的Metalevel算法(2016) Bonacina,Maria Paola;Furbach,Ulrich;Sofronie Stokkermans,Violica:基于一阶模型的推理(2015) Bertolissi,Clara;Fernández,Maribel:分布式环境访问控制的元模型:应用和属性(2014) Bouhoula,Adel;Jacquemard,Florent:conditional and constrained TRS的充分完备性验证(2012) 杜兰,弗朗西斯科;梅斯盖尔,何塞:论条件性有序重写理论的Church Rosser和连贯性(2012) JoséMeseguer:《重写逻辑的二十年》(2012) Rocha,Camilo;Meseguer,José:重写理论的构造器、充分完备性和死锁自由(2010) Durán,Francisco;lveczky,Peter Csaba:扩展完整Maude的指南,说明了实时Maude的实现(2009) ioport公司 曼纽尔·克莱维尔;弗朗西斯科的杜兰;史蒂文的埃克;帕特里克的林肯;玛蒂奥利特,纳西索;梅斯盖尔,乔斯;塔尔科特,卡罗琳:《关于莫德的一切——一个高性能的逻辑框架》。 如何在重写逻辑中指定、编程和验证系统。 带光盘(2007) Hendrix,Joe;Clavel,Manuel;Meseguer,José:部分规范的充分完整性推理工具(2005)