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 0 to 29
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: 168 | Total: 252  | Access Period:
 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: 205 | Total: 295  | Access Period:
 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: 146 | Total: 221  | Access Period:
 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: 199 | Total: 290  | Access Period:
 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: 191 | Total: 261  | Access Period:
 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: 217 | Total: 323  | Access Period:
 831-850
HTML
PDF

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

OK