编辑配置文件（在新选项卡中打开） 梅弗雷德·布罗伊 作者ID： 布罗伊·马弗雷德 发布日期： 梅弗雷德·布罗伊 已编制索引的文档： 4出版物自1980年以来 2作为编辑的贡献 合著者 4 单作者的 系列 三 理论计算机科学 1 信息处理信件 1 北约ASI系列。F.系列计算机与系统科学 领域 6 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 zbMATH Open中包含的引文 5出版物有被引用2次2文件 引用人▼ 年份▼ 编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 Zbl 0744.68016号 15 1990 流处理函数的代数。 Zbl 0973.68172号 布罗伊，M。;tefnescu，G。 9 2001 并发程序的转换语义。 Zbl 0444.68017号 布罗伊，M。 三 1980 时间的细化。 Zbl 0954.68097号 布罗伊，M。 三 2001 编程和数学方法。1990年7月24日至8月5日在德国Marktoberdorf举行的诉讼。 Zbl 0817.68055号 2 1992 流处理函数的代数。 Zbl 0973.68172号 布罗伊，M。;tefnescu，G。 9 2001 时间的细化。 Zbl 0954.68097号 布罗伊，M。 三 2001 编程和数学方法。1990年7月24日至8月5日在德国Marktoberdorf举行的诉讼。 Zbl 0817.68055号 2 1992 编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 Zbl 0744.68016号 15 1990 并发程序的转换语义。 Zbl 0444.68017号 布罗伊，M。 三 1980 4位作者引用 1 Jan A.Bergstra。 1 Dang，Han-Hing（韩红） 1 Möller，伯恩哈德 1 奥尔本庞塞 2篇连载文章中引用 1 圣母院形式逻辑杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文