Journals in DBLP

Inf. Comput.
1995, volume: 119, number: 1

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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]