In this issue

Papers published: 6

Total pages: 126

Unique views: 5031

Total views: 6743

open access

Go to issue

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

Download
Managing ...
Editorial
Managing Editor's Column
    Christian Gütl
10.3217/jucs-019-06
 28-03-2013
 Unique: 680 | Total: 913  | Access Period:
 728-728
HTML
XML
PDF
Investigations ...
Research Article
Investigations on a Pedagogical Calculus of Constructions
Loïc Colson, Vincent Demange
10.3217/jucs-019-06-0729
 28-03-2013
 Unique: 934 | Total: 1265  | Access Period:
 729-749
HTML
XML
PDF
The ...
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: 823 | Total: 1092  | Access Period:
 750-770
HTML
XML
PDF
Compositionally ...
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: 894 | Total: 1160  | Access Period:
 771-804
HTML
XML
PDF
LeadFlow4LD: ...
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: 818 | Total: 1052  | Access Period:
 805-830
HTML
XML
PDF
Defining ...
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: 882 | Total: 1261  | Access Period:
 831-850
HTML
XML
PDF

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

OK