Search the dblp DataBase

Publications of Author

1. Jason P. Bell, Stanley Burris
   Partition Identities I: Sandwich Theorems and Logical 0-1 Laws. [Citation Graph (0, 0)][DBLP]
   Electr. J. Comb., 2004, v:11, n:1, pp:- [Journal]
   
2. Stanley Burris, John Lawrence
   Unification in Commutative Rings is Not Finitary. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1990, v:36, n:1, pp:37-38 [Journal]
   
3. Stanley Burris
   Discriminator Varieties and Symbolic Computation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:13, n:2, pp:175-208 [Journal]
   
4. Stanley Burris, John Lawrence
   The Equivalence Problem for Finite Rings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:1, pp:67-71 [Journal]
   
5. Stanley Burris
   Model Companions for Finitely Generated Universal Horn Classes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1984, v:49, n:1, pp:68-74 [Journal]
   
6. Stanley Burris, Ralph McKenzie, Matthew Valeriote
   Decidable Discriminator Varieties from Unary Varieties. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:4, pp:1355-1368 [Journal]
   
7. Stanley Burris
   Model Companions with Finitely Many Countable Models. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1994, v:40, n:, pp:141-142 [Journal]
   
8. Stanley Burris
   Polynormal Time Uniform Word Problems. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1995, v:41, n:, pp:173-182 [Journal]
   
9. Stanley Burris, Isabel M. A. Ferreirim
   Decidable Varieties of Hoops. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1994, v:28, n:, pp:53-59 [Journal]
   
10. 
    Counting Rooted Trees: The Universal Law t(n)~C ?-n n-3/2. [Citation Graph (, )][DBLP]
    
    
11. 
    Sufficient Conditions for Labelled 0-1 Laws. [Citation Graph (, )][DBLP]