Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Architecture

Concept Maps as Hypermedia Components

International Journal of Human Computer Studies

Human-Computer Interaction

English

RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

Journal of Logic and Computation

Theoretical Computer Science

English

Uncontroversial Default Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Allocation of Function: Scenarios, Context and the Economics of Effort

International Journal of Human Computer Studies

Human-Computer Interaction

English

A Linearization of the Lambda-Calculus and Consequences

Journal of Logic and Computation

Theoretical Computer Science

English

Function Allocation: Algorithm, Alchemy or Apostasy?

International Journal of Human Computer Studies

Human-Computer Interaction

English

A First-Order Conditional Logic With Qualitative Statistical Semantics

Journal of Logic and Computation

Theoretical Computer Science

English

Gentler: A Tool for Systematic Web Authoring

International Journal of Human Computer Studies

Human-Computer Interaction

English

Preservation of Interpolation Features by Fibring

Journal of Logic and Computation

Theoretical Computer Science

English

Methods and Tools for Corporate Knowledge Management

International Journal of Human Computer Studies

Human-Computer Interaction

English