Journals in DBLP

Reports on Mathematical Logic
1996, volume: 30, number:

1. Manuel Abad, Alicia Fernández, Nelli Meske
   Free Boolean Correlations Lattices. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:2-11 [Journal]
   
2. Bayu Surarso, H. Ono
   Cut Elimination in Noncommutative Substructural Logics. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:13-29 [Journal]
   
3. Francesco Paoli
   S is Constructively Complete. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:31-47 [Journal]
   
4. Andrzej Pietruszczak
   Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with Equality and Individual Constants). [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:49-64 [Journal]
   
5. Jerzy Hanusek
   Decidability of Classes of Finite Algebras with a Distinguished Subset Closed Under a Discriminator Clone. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:65-82 [Journal]
   
6. Zdzislaw Grodzki, Jerzy Mycka
   Classes of Markov-like k-ALGORITHMS. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:83-99 [Journal]
   
7. Edward Szczypka
   Isomorphism Testing for Equivalence Relations. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1996, v:30, n:, pp:101-109 [Journal]