机译:具有派生功能和格式正确性约束的领域特定语言的形式验证
机译:通过派生程序为基本形式系统生成语言
机译:布基纳法索正规教育中宗教和语言多样性的挑战:学生流动性和社会支持网络/布基纳法索正规教育中宗教和语言多样性的挑战:学生的流动性和社会网络
机译:从正式语言中获取无限的Peri网
机译:面向表单处理器:使用形式语言类比进行体系结构表单派生和分析的框架。
机译:迈向Lezgian语言(北高加索地区)的正式族谱分类:测试词汇数据上的各种系统发育方法
机译:从形式语言衍生出无穷Petri网