In this issue

Papers published: 6

Total pages: 126

Printed version: Paperback

Unique views: 3093

Total views: 4125

open access

Go to issue

« Previous
Issue 19(6)
 Next »
Issue No
from 0 to 30
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: 436 | Total: 583  | Access Period:
 728-728
HTML
XML
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: 528 | Total: 720  | Access Period:
 729-749
HTML
XML
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: 462 | Total: 609  | Access Period:
 750-770
HTML
XML
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: 602 | Total: 773  | Access Period:
 771-804
HTML
XML
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: 512 | Total: 658  | Access Period:
 805-830
HTML
XML
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: 553 | Total: 782  | Access Period:
 831-850
HTML
XML
PDF

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

OK