Journals in DBLP
Inf. Comput. 1995, volume: 121, number: 1
Lane A. Hemaspaandra , Sudhir K. Jha Defying Upward and Downward Separation [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:1-13 [Journal ] Luc Longpré , Osamu Watanabe On Symmetry of Information and Polynomial Time Invertibility [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:14-22 [Journal ] Alfredo De Santis , Giovanni Di Crescenzo , Giuseppe Persiano Zero-Knowledge Arguments and Public-Key Cryptography [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:23-40 [Journal ] Yosi Ben-Asher , Klaus-Jörn Lange , David Peleg , Assaf Schuster The Complexity of Reconfiguring Network Models [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:41-58 [Journal ] Rob J. van Glabbeek , Scott A. Smolka , Bernhard Steffen Reactive, Generative and Stratified Models of Probabilistic Processes [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:59-80 [Journal ] Georg Gottlob The Complexity of Default Reasoning under the Stationary Fixed Point Semantics [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:81-92 [Journal ] Leonard M. Adleman , Ming-Deh A. Huang , Kireeti Kompella Efficient Checkers for Number-Theoretic Computations [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:93-102 [Journal ] Peter Clote Cutting plane and Frege proofs [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:103-122 [Journal ] Iain A. Stewart Completeness of Path-Problems via Logical Reductions [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:1, pp:123-134 [Journal ]