
Journals in DBLP
Inf. Comput. 1995, volume: 121, number: 2
 Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu
P, NP and the Post Correspondence Problem [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:135142 [Journal]
 Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for All ContextFree Processes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:143148 [Journal]
 Walter Vogler
Timed Testing of Concurrent Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:149171 [Journal]
 Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder
Basic Paramodulation [Citation Graph (1, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:172192 [Journal]
 David A. McAllester, J. Kucan, D. F. Otth
A Proof of Strong Normalization of F_2, F_omega and Beyond [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:193200 [Journal]
 Sanjay Jain, Arun Sharma, Mahendran Velauthapillai
Finite Identification of Functions by Teams with Success Ratio 1\over2 and Above [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:201213 [Journal]
 Nancy A. Lynch, Frits W. Vaandrager
Forward and Backward Simulations: I. Untimed Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:214233 [Journal]
 Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:234255 [Journal]
 Yoav Freund
Boosting a Weak Learning Algorithm by Majority [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:256285 [Journal]
