0022-0000

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

本期论文列表
Editorial Board

Isomorphism and canonization of tournaments and hypertournaments

A kernelization algorithm for d-Hitting Set

Simplified proof of the blocking theorem for free-choice Petri nets

Trajectory databases: Data models, uncertainty and complete query languages

Generalized modal satisfiability

Causal graphs and structurally restricted planning

Comparing trees via crossing minimization

Fuzzy relation equations and reduction of fuzzy automata

Counting complexity of propositional abduction

Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem

Hashing and canonicalizing Notation 3 graphs

Thresholding random geometric graph properties motivated by ad hoc sensor networks

Contents