Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 19

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