0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 66, Issue 2 论文列表

本期论文列表
C1 C2 Ed. Board

Advertisement #HA05062O (FTP file HA05062ABCNOP.pdf.sea)

TTL: a modular language for hardware/software systems design

An axiomatic semantics for the synchronous language Gentzen

An efficient fully polynomial approximation scheme for the Subset-Sum Problem

Approximate testing with error relative to input size

The complexity of the temporal logic with “until” over general linear time

Papers to Appear

C3 - Advertisement #better_5X8_els (FTP file #better_5X8_els.pdf) IN GENERIC FOLDER

C4 - TOC