Journal of Computer Science and Technology
Collection
Collection
- ISSN: 1000-9000
Published by Springer
-
Factoring multivariate polynomials over finite fields Article
Journal of Computer Science and Technology, 30(2), 235-248.January 1985 -
Conditional rewrite rules: confluence and termination Article
Journal of Computer Science and Technology, 32(3), 323-362.January 1986 -
Minimum disclosure proofs of knowledge In Proceedings
G. Brassard (Gilles), D. Chaum (David) and C. Crépeau (Claude)
January 1988 -
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency In Proceedings
J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker
January 1988 -
Solving reflexive domain equations in a category of complete metric spaces Article
Journal of Computer Science and Technology, 39(3), 343-375.January 1989 -
Inductive reasoning and Kolmogorov complexity Article
Journal of Computer Science and Technology, 44(2), 343-384.January 1992 -
Random strings make hard instances In Proceedings
January 1996 -
An excursion to the Kolmogorov random strings In Proceedings
January 1997