机译:技术说明封闭式简单Lambda项的随机生成:逻辑编程与Boltzmann采样器之间的协同作用
Jagiellonian Univ, Theoret Comp Sci Dept, Fac Math & Comp Sci, Ul Prof Lojasiewicza 6, PL-30348 Krakow, Poland;
Jagiellonian Univ, Theoret Comp Sci Dept, Fac Math & Comp Sci, Ul Prof Lojasiewicza 6, PL-30348 Krakow, Poland;
Univ North Texas, Dept Comp Sci & Engn, Denton, TX USA;
Boltzmann samplers; random generation of simply typed lambda-terms; type inference; combinatorics of lambda-terms; random generation of simply typed normal forms; parallel implementation of Boltzmann samplers;
机译:组合结构的随机生成:BOLTZMANN SAMPLERS和BEYOND
机译:玻尔兹曼采样器用于随机生成组合结构
机译:在表执行机制下终止简单修改的类型良好的逻辑程序
机译:封闭式Lambda项的Boltzmann采样器
机译:归纳逻辑编程方法中基于随机选择的底句的广度优先搜索方法的实现。
机译:臂板技术用于闭合复位经皮穿钉固定儿童肱骨Su上骨折:技术说明
机译:Boltzmann采样器用于随机生成λ项
机译:简单类型逻辑程序的可扩展性。概率,网络和211算法