Browse

In this issue

Papers published: 6

Total pages: 126

Printed version: Paperback

open access

Go to issue

« Previous
Issue 19(6)
 Next »
Issue No
from 18 to 27
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
Guru Hacker Test
10.3217/jucs-019-06
 28-03-2013
 Unique: 48 | Total: 57
 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: 60 | Total: 77
 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: 40 | Total: 50
 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: 59 | Total: 70
 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: 43 | Total: 57
 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: 63 | Total: 77
 831-850
HTML
PDF

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

OK