0022-0000

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