Journals in DBLP
Inf. Comput. 1995, volume: 119, number: 1
Jennifer Seberry , Xian-Mo Zhang , Yuliang Zheng Nonlinearity and Propagation Characteristics of Balanced Boolean Functions [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:1-13 [Journal ] Wil Dekkers Inhabitation of Types in the Simply Typed Lambda Calculus [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:14-17 [Journal ] Richard Kennaway , Jan Willem Klop , M. Ronan Sleep , Fer-Jan de Vries Transfinite Reductions in Orthogonal Term Rewriting Systems [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:18-38 [Journal ] Kenji Yamanishi A Loss Bound Model for On-Line Stochastic Prediction Algorithms [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:39-54 [Journal ] Furio Honsell , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott A Variable Typed Logic of Effects [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:55-90 [Journal ] Kamal Lodaya , Rohit Parikh , Ramaswamy Ramanujam , P. S. Thiagarajan A Logical Study of Distributed Transition Systems [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:91-118 [Journal ] Jan A. Bergstra , Jan Heering Homomorphism Preserving Algebraic Specifications Require Hidden Sorts [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:119-123 [Journal ] Torben Hagerup A Lower Bound for the Emulation of PRAM Memories on Processor Networks [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:124-128 [Journal ] Erich Grädel , Gregory L. McColm On the Power of Deterministic Transitive Closures [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:129-135 [Journal ]