Journal of Computer and System Sciences （JCSS） - Volume 27, Issue 2 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 27, Issue 2 |
| 发布时间： October 1983 |
| 卷期年份： 1983 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/27/issue/2 |
本期论文列表
Calvin C. Elgot 1922–1980
Reminiscences 1
Reminiscences 2
Recursion and iteration in continuous theories: The “M-construction”
Algebraic characterization of reducible flowcharts
Extensions of iterative congruences on free iterative algebras
An axiomatization of D-scheme strong equivalence
All solutions of a system of recursion equations in infinite trees and other contraction theories
Transaction protection by beacons
Correctness of recursive parallel nondeterministic flow programs
Algebras of iteration theories
Implementation of data types by algebraic methods