半人马

此软件的关键字
zbMATH参考文献(19篇文章引用)
米勒,戴尔:重温机械化元理论(2019) van der Hoeven,Joris;Lecerf,Grégoire;Raux,Denis:编辑数学公式时保持语法正确性(2017) Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016) 范德霍文,乔里斯:走向语义数学编辑(2015) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013) 盖克,安德鲁;米勒,戴尔;纳达图尔,戈帕兰:名义抽象(2011) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2011) Şerbănuţă,Traian Florin;Roşu,Grigore;Meseguer,José:操作语义的重写逻辑方法(2009) Pierre Alain Muller;Fondement,Frédéric;Fleurey,Franck;Hassenforder,Michel;Schnekenburger,Rémi;Gérard,Sébastien;Jézéquel,Jean-Marc:《文本具体句法的模型驱动分析与综合》(2008) ioport公司 Hills,Mark;Şerbănuţă,Traian;Roşu,Grigore:语言定义和高效口译员生成的重写框架(2007) Mousavi,Mohammadeza;Reniers,Michel A.;Groote,Jan Friso:SOS格式和元理论:20年后(2007年) Şerbănuţă,Traian Florin;Roşu,Grigore;Meseguer,José:操作语义的重写逻辑方法(扩展摘要)(2007) Barthe,Gilles;Courtieu,Pierre;Dufay,Guillaume;Melo de Sousa,Simão:类型化低级语言的工具辅助规范和验证(2005) Paige,Robert:NSF提案(2005) Roisin,C.;Claves,P.;Akpotsui,E.:在结构化编辑系统中实现剪切和粘贴操作(1997) 贝托特,珍妮特;贝托特,伊夫:CtCoq:系统介绍(1996) Cassez,Franck;Roux,Olivier:将电子反应式语言编译成有限转换系统(1995) Laville,Alain:模式匹配和术语重写中优先规则的比较(1991) 斯内尔,格雷戈:语境关系的演算(1991)