Journal of Computer and System Sciences （JCSS） - Volume 76, Issue 5 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 76, Issue 5 |
| 发布时间： August 2010 |
| 卷期年份： 2010 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/76/issue/5 |
本期论文列表
Editorial Board
Editors' foreword for JCSS WoLLIC 2008
Matching and alpha-equivalence check for nominal terms
Inter-deriving semantic artifacts for object-oriented programming
Homomorphism preservation on quasi-wide classes
On the formal semantics of IF-like logics
Adversary lower bounds for nonadaptive quantum algorithms
On abstract resource semantics and computability logic
Interpretation and inference with maximal referential terms
Contents