|
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:135-142 [Journal]
- Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for All Context-Free Processes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:143-148 [Journal]
- Walter Vogler
Timed Testing of Concurrent Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:149-171 [Journal]
- Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder
Basic Paramodulation [Citation Graph (1, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:172-192 [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:193-200 [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:201-213 [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:214-233 [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:234-255 [Journal]
- Yoav Freund
Boosting a Weak Learning Algorithm by Majority [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:121, n:2, pp:256-285 [Journal]
|