机译:通过语法递归定义对象的通用方法
机译:由三项递归关系定义并满足第二递归关系的多项式:与离散可积分性,显着(常为磷黄嘌呤)分解的连接
机译:证据的语法:索引对象,语法和语言或如何讲故事没有单词
机译:证据的语法:索引对象,语法和语言或如何讲述没有单词的故事
机译:非指定语义的非循环递归类型理论的计算语法-语义接口
机译:用于使用面向对象的方法定义服务供应链的多视图框架。
机译:证词的句法:索引对象,句法和语言,或如何不讲故事的故事
机译:在主题中通过递归定义对象
机译:高阶抽象语法的原始递归