Volume 58, 1988
export record as
dblp key:
export record as
dblp key:
journals/tcs/AverbuchGW88 Amir Averbuch ,
Zvi Galil ,
Shmuel Winograd :
Classification of All the Minimal Bilinear Algorithms for Computing the Coefficients of the Product of Two Polynomials Modulo a Polynomial, Part I: The Algeabra G[u] / < Q(u)^l >, l > 1.
17-56
export record as
dblp key:
journals/tcs/BorodinFHUW88 export record as
dblp key:
journals/tcs/Brandenburg88 export record as
dblp key:
export record as
dblp key:
journals/tcs/Schutzenberger88 export record as
dblp key:
export record as
dblp key:
journals/tcs/HartmanisH88 export record as
dblp key:
journals/tcs/KirschenhoferP88 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Björn Lisper :
Synthesis and Equivalence of Concurrent Systems.
183-199
export record as
dblp key:
Yves Métivier :
On Recognizable Subsets of Free Partially Commutative Monoids.
201-208
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Louis E. Rosier ,
Hsu-Chun Yen :
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
263-324
export record as
dblp key:
Klaus Simon :
An Improved Algorithm for Transitive Closure on Acyclic Digraphs.
325-346
export record as
dblp key:
Colin Stirling :
A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language.
347-359
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
