The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
1995, volume: 121, number: 2

  1. 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]
  2. 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]
  3. Walter Vogler
    Timed Testing of Concurrent Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:121, n:2, pp:149-171 [Journal]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002