0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 100 论文列表

本期论文列表
Editorial Board

Copyless cost-register automata: Structure, expressiveness, and closure properties

Vector and scalar reachability problems in SL(2,Z)

Expressive power of entity-linking frameworks

Decidable and expressive classes of probabilistic automata

The complexity of synchronizing Markov decision processes