Journals in DBLP

Ann. Math. Artif. Intell.
1992, volume: 6, number: 1-3

1. John V. Franco, J. Michael Dunn, William H. Wheeler
   Recent Work at the Interface of Logic, Combinatorics and Computer Science. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:1-15 [Journal]
   
2. Peter Dolan
   Undecidable Statements and Random Graphs. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:17-25 [Journal]
   
3. William M. Farmer
   The Kreisel Length-of-Proof Problem. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:27-55 [Journal]
   
4. Peter Clote
   ALOGTIME and a Conjecture of S. A. Cook. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:57-106 [Journal]
   
5. Jan Krajícek, Gaisi Takeuti
   On Induction-Free Provability. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:107-125 [Journal]
   
6. Spyro-Giorgio Mantzivis
   Circuits in Bounded Arithmetic, Part I. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:127-156 [Journal]
   
7. Alasdair Urquhart
   The Relative Complexity of Resolution and Cut-Free Gentzen Systems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:157-168 [Journal]
   
8. Andreas Goerdt
   Davis-Putnam Resolution versus Unrestricted Resolution. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:169-184 [Journal]
   
9. John W. Rosenthal, Ewald Speckenmeyer, Rainer Kemp
   Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:185-200 [Journal]
   
10. John W. Rosenthal
    The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:201-234 [Journal]
    
11. T. H. Hu, Chuan Yi Tang, Richard C. T. Lee
    An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:235-251 [Journal]
    
12. Michel Minoux
    The Unique Horn-Satisfiability Problem and Quadratic Boolean Equations. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:253-266 [Journal]
    
13. R. Lee Panetta
    A Finite Intersection Property and the Loeb Measurability of Ultrafilters on Hyperfinite Sets. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:267-270 [Journal]
    
14. John N. Hooker
    Generalized Resolution for 0-1 Linear Inequalities. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:271-286 [Journal]
    
15. Daniele Mundici
    Turing Complexity of Behncke-Leptin C^*-algebras with a Two-Point Dual. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:287-293 [Journal]