In this issue

Papers published: 6

Total pages: 126

Printed version: Paperback

open access
Printed: € 45,50 cart Order now

Go to issue

« Previous
Issue 19(6)
 Next »
Issue No
from 18 to 28
Number No
JUCS - Journal of Universal Computer Science 19(6) (2013)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Managing Editor's Column
    Christian Gütl
10.3217/jucs-019-06
 28-03-2013
 Unique: 90 | Total: 124
 728-728
HTML
PDF
Research Article
Investigations on a Pedagogical Calculus of Constructions
Loïc Colson, Vincent Demange
10.3217/jucs-019-06-0729
 28-03-2013
 Unique: 112 | Total: 152
 729-749
HTML
PDF
Research Article
The Riesz Representation Operator on the Dual of C[0; 1] is Computable
Tahereh Jafarikhah, Klaus Weihrauch
10.3217/jucs-019-06-0750
 28-03-2013
 Unique: 76 | Total: 105
 750-770
HTML
PDF
Research Article
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
Kazuhiro Ogata, Kokichi Futatsugi
10.3217/jucs-019-06-0771
 28-03-2013
 Unique: 108 | Total: 144
 771-804
HTML
PDF
Research Article
LeadFlow4LD: A Method for the Computational Representation of the Learning Flow and Data Flow in Collaborative Learning
Luis Palomino-Ramírez, Miguel Bote-Lorenzo, Juan Asensio-Pérez, Laurence Vignollet, Yannis Dimitriadis
10.3217/jucs-019-06-0805
 28-03-2013
 Unique: 109 | Total: 145
 805-830
HTML
PDF
Research Article
Defining Distribution Constraints in Distributed User Interfaces
Antonio Benavent, José López, Federico Botella, José A. Gallud Lázaro
10.3217/jucs-019-06-0831
 28-03-2013
 Unique: 124 | Total: 174
 831-850
HTML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK