Journals in DBLP
Inf. Sci. 2001, volume: 139, number: 3-4
Jules Desharnais , Marc Frappier , Ali Jaoua , Wendy MacCaull Relational methods in computer science - Preface. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:165-166 [Journal ] Rudolf Berghammer , Thorsten Hoffmann Relational depth-first-search with applications. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:167-186 [Journal ] Dexter Kozen , Jerzy Tiuryn On the completeness of propositional Hoare logic. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:187-195 [Journal ] Wolfram Kahl Parallel composition and decomposition of specifications. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:197-220 [Journal ] Michael Böttner Multigrade extension of relational grammar. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:221-231 [Journal ] Michael Winter A new algebraic approach to L-fuzzy relations convenient to study crispness. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:233-252 [Journal ] Jules Desharnais , Bernhard Möller Characterizing determinacy in Kleene algebras. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:253-273 [Journal ] John L. Pfaltz , Robert E. Jamison Closure systems and their structure. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:275-286 [Journal ]