Journals in DBLP
Jan A. Bergstra , M. E. Loots Program algebra for sequential code. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2002, v:51, n:2, pp:125-156 [Journal ] Alban Ponse Program algebra with unit instruction operators. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2002, v:51, n:2, pp:157-174 [Journal ] Jan A. Bergstra , Alban Ponse Combining programs and state machines. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2002, v:51, n:2, pp:175-192 [Journal ] Jan A. Bergstra , Inge Bethke Molecular dynamics. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2002, v:51, n:2, pp:193-214 [Journal ]