首页>外文期刊>Logical Methods in Computer Science >2005年第2期

Logical Methods in Computer Science

Logical Methods in Computer Science

中文名称：计算机科学中的逻辑方法

ISSN：
出版周期：-

发文量：1030

获取外文期刊封面目录资料

期刊论文

年度选择

更多>>

全选（0）

共6条结果

1.Comparing hierarchies of total functionals

机译：比较全部功能的层次结构
- 作者：DagNormann
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
2.Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

机译：使用参数化解边界确定无量词的Presburger公式
- 作者：SanjitASeshia;RandalEBryant
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
3.Internalising modified realisability in constructive type theory

机译：在建构型理论中内化修正的可实现性
- 作者：ErikPalmgren
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
4.An Operational Foundation for Delimited Continuations in the CPS Hierarchy

机译：CPS层次结构中定界连续的操作基础
- 作者：MalgorzataBiernacka;DariuszBiernacki;OlivierDanvy
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
5.Strong normalization for applied lambda calculi

机译：应用lambda结石的强归一化
- 作者：UlrichBerger
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
6.General recursion via coinductive types

机译：通过共归类型进行一般递归
- 作者：VenanzioCapretta
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号