木桶

此软件的关键字
zbMATH中的参考文献, 1标准件 )
康法罗涅里,罗伯托;库茨,奥利弗:解构主义下的融合。 逻辑、本体论和认知在计算概念发明中的作用(2020) Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020) 哈夫雷恩,马格纳;罗根巴赫,马库斯:用句法理论函子指定(2020) 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019) 曼弗雷德·埃佩(Eppe);麦克莱恩(Ewen);康法罗尼埃里(Roberto);库茨(Kutz),奥利弗(Oliver);斯科勒默(Schorlemmer),马尔科(Marco);普拉斯(Plaza),恩里克(Enric);凯·乌韦(Kai-Uwe):概念融合的计算框架(2018年) Madeira,Alexandre;Barbosa,Luís s.;Hennicker,Rolf;Martins,Manuel A.:反应系统逐步发展的逻辑(2018) Mossakowski,Till;Krieg Brückner,Bernd:DOL中泛型的部分推出语义(2018) 费尔南多,奥列哈斯;皮诺,埃尔维拉;纳瓦罗,马里萨;兰伯斯,利恩:图形结构导航逻辑机构(2018) Zhang,Min;Ogata,Kazuhiro:从隐藏到可见:将行为理论转化为重写理论的统一框架(2018) Găină,丹尼尔:用户定义共享的混合逻辑中的逻辑编程基础(2017) Găină,丹尼尔:混合逻辑的Birkhoff式计算(2017) Alexander Maletzky;Wolfgang Windsteiger:Vickrey拍卖的形式化:Isabelle和Theorema中两种方法的比较(2017) Meseguer,José:条件重写模公理的严格一致性(2017) 拉贝,弗洛里安:态射公理(2017) Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017) Roşu,Grigore:匹配逻辑(2017) Zeidler,Clemens;Weber,Gerald;Gavryushkin,Alex;Lutteroth,Christof:用于基于约束的布局编辑的平铺代数(2017) Diaconescu,Răzvan:一阶视图的函数语义(2016) Jin,Miaomiao;Short,Michael:多孔腐蚀沉积物中两相薄膜沸腾的多物理模型(2016) Madeira,Alexandre;Barbosa,Luis;Hennicker,Rolf;Martins,Manuel A.:带绑定的动态逻辑及其在反应系统开发中的应用(2016)