Content of Issue 6
DOI: 10.3217/jucs-019-06
|
Managing Editor's Column |
C. Gütl |
728 |
Investigations on a Pedagogical Calculus of Constructions |
L. Colson, V. Demange |
729 |
The Riesz Representation Operator on the Dual of C[0; 1] is Computable |
T. Jafarikhah, K. Weihrauch |
750 |
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method |
K. Ogata, K. Futatsugi |
771 |
LeadFlow4LD: A Method for the Computational Representation of the Learning Flow and Data Flow in Collaborative Learning |
L. Palomino-Ramírez, M.L. Bote-Lorenzo, J.I. Asensio-Pérez, L. Vignollet, Y.A. Dimitriadis |
805 |
Defining Distribution Constraints in Distributed User Interfaces |
A. Peñalver, J.J. López, F. Botella, J.A. Gallud |
831 |