0022-0000

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

本期论文列表
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

New Efficient and Secure Protocols for Verifiable Signature Sharing and Other Applications

Improved Algorithms via Approximations of Probability Distributions

Computing with Membranes

Papers to Appear in Forthcoming Issues