
Journals in DBLP
 Michael Huth, Radha Jagadeesan, David A. Schmidt
A domain equation for refinement of partial systems. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:469505 [Journal]
 Sara Negri, Jan von Plato
Proof systems for lattice theory. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:507526 [Journal]
 Peter Selinger
Towards a quantum programming language. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:527586 [Journal]
 Klaus Aehlig, Felix Joachimski
Operational aspects of untyped Normalisation by Evaluation. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:587611 [Journal]
