JUCS - Journal of Universal Computer Science 19

In this issue

Papers published: 6

Total pages: 123

Unique views: 7391

Total views: 9818

open access

Go to issue

Issue 19(6)

Next »

JUCS - Journal of Universal Computer Science 19(6)

Select: All None

Download:

Citation

XML

PDF

Managing Editor's Column

Editorial

Managing Editor's Column

Christian Gütl

10.3217/jucs-019-06

28-03-2013

Unique: 1010 | Total: 1331

728-728

Investigations on a Pedagogical Calculus ...

Research Article

Investigations on a Pedagogical Calculus of Constructions

Loïc Colson, Vincent Demange

10.3217/jucs-019-06-0729

28-03-2013

Unique: 1379 | Total: 1852

729-749

The Riesz Representation Operator on ...

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: 1214 | Total: 1602

750-770

Compositionally Writing Proof Scores ...

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: 1269 | Total: 1653

771-804

LeadFlow4LD: A Method for the Computational ...

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: 1225 | Total: 1561

805-830

Defining Distribution Constraints in ...

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: 1294 | Total: 1819

831-850

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

OK

Web Analytics