Journals in DBLP

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

1. Robert P. Kurshan, Kenneth L. McMillan
   A Structural Induction Theorem for Processes [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:1-11 [Journal]
   
2. Hans Kleine Büning, Marek Karpinski, Andreas Flögel
   Resolution for Quantified Boolean Formulas [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:12-18 [Journal]
   
3. Amir M. Ben-Amram, Zvi Galil
   On the Power of the Shift Instruction [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:19-36 [Journal]
   
4. Georg Lausen, Eljas Soisalon-Soininen
   Safety by Uninterpreted Locks [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:37-49 [Journal]
   
5. Rodney R. Howell, Muralidhar K. Venkatrao
   On Non-Preemptive Scheduling of Recurring Tasks Using Inserted Idle Times [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:50-62 [Journal]
   
6. Changwook Kim, Dong Hoon Lee
   Node Replacement Graph Languages Squeezed with Chains, Trees, and Forests [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:63-77 [Journal]
   
7. Ramana M. Idury, Alejandro A. Schäffer
   Multiple Matching of Rectangular Patterns [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:78-90 [Journal]
   
8. Oded Shmueli
   A Single Recursive Predicate is Sufficient for Pure Datalog [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:91-97 [Journal]
   
9. P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
   A Trace Semantics for Petri Nets [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:117, n:1, pp:98-114 [Journal]
   
10. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:115-135 [Journal]
    
11. Marco Bellia, M. Eugenia Occhiuto
    Suprema of Open and Closed Formulas and Their Application to Resolution [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:136-150 [Journal]
    
12. Walter Ludwig
    A Subexponential Randomized Algorithm for the Simple Stochastic Game Problem [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:151-155 [Journal]