Journals in DBLP

J. Log. Comput.
2004, volume: 14, number: 2

1. Lifeng He, Yuyan Chao, Hidenori Itoh
   R-SATCHMO: Refinements on I-SATCHMO. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:117-143 [Journal]
   
2. Marc Aiguier
   ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:145-178 [Journal]
   
3. Marcelo Finger, Renata Wassermann
   Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:179-204 [Journal]
   
4. Maciej Kandulski
   Categorial Grammars and Tree Languages. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:205-214 [Journal]
   
5. Dimitar P. Guelev
   A Complete Proof System for First-order Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:215-249 [Journal]
   
6. Gerard R. Renardel de Lavalette
   Changing Modalities. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:251-275 [Journal]
   
7. Nicole Bidoit, Sandra de Amo, Luc Segoufin
   Order Independent Temporal Properties. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:277-298 [Journal]
   
8. Franco Montagna
   Storage Operators and Multiplicative Quantifiers in Many-valued Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:299-322 [Journal]
   
9. Richard E. Overill
   Review: From 0 to 1; an Authoritative History of Modern Computing. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:2, pp:323- [Journal]
   
10. Richard E. Overill
    Review: Things a Computer Scientist Rarely Talks About. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:323-324 [Journal]
    
11. Richard E. Overill
    Review: A Dictionary of the Internet. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:324-325 [Journal]
    
12. Richard E. Overill
    Review: Views into the Chinese Room: New Essays on Searle and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:325-326 [Journal]