Journals in DBLP

Inf. Comput.
2006, volume: 204, number: 12

1. Arto Salomaa, Sheng Yu
   Subword conditions and subword histories. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:12, pp:1741-1755 [Journal]
   
2. Ernst-Erich Doberkat
   Eilenberg-Moore algebras for stochastic relations. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:12, pp:1756-1781 [Journal]
   
3. Salvador Lucas
   Proving termination of context-sensitive rewriting by transformation. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:12, pp:1782-1846 [Journal]
   
4. Christian Herrmann
   Corrigendum to "On the undecidability of implications between embedded multivalued database dependencies" [Inform. and Comput. 122(1995) 221-235]. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:12, pp:1847-1851 [Journal]
   
5. Jia Meng, Claire Quigley, Lawrence C. Paulson
   Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:12, pp:1852- [Journal]