Journals in DBLP

J. Log. Comput.
2002, volume: 12, number: 2

1. Irène Guessarian
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:215- [Journal]
   
2. Jirí Adámek
   Final Coalgebras are Ideal Completions of Initial Algebras. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:217-242 [Journal]
   
3. Danièle Beauquier, Alexander Moshe Rabinovich
   Monadic Logic of Order over Naturals has no Finite Base. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:243-253 [Journal]
   
4. Mads Dam, Dilian Gurov
   µ-Calculus with Explicit Points and Approximations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:255-269 [Journal]
   
5. Zoltán Ésik
   Continuous Additive Algebras and Injective Simulations of Synchronization Trees. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:271-300 [Journal]
   
6. Flavio Corradini, Rocco De Nicola, Anna Labella
   An Equational Axiomatization of Bisimulation over Regular Expressions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:301-320 [Journal]
   
7. Mathieu Jaume
   On Greatest Fixpoint Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:2, pp:321-342 [Journal]