Sage Journals: Discover world-class research

Free access

Research article

First published 1996-11

Positive Recursive Type Assignment

Paweł Urzyczyn

Fundamenta Informaticae

Retricted access

Research article

First published 1996-5

RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES

Yuxi Fu

Fundamenta Informaticae

Retricted access

Research article

First published 1996-1

ON A QUANTITATIVE NOTION OF UNIFORMITY

Susanne Kaufmann, Martin Kummer

Fundamenta Informaticae

Retricted access

Research article

First published 2005-2

Inductive types in the Calculus of Algebraic Constructions

Frédéric Blanqui

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-7

Infinite time recognizability from generic oracles and the recognizable jump operator 1

Merlin Carl

Computability

Retricted access

Research article

First published 2012-11

Brain Metastases in Breast Cancer: Analysis of the Role of HER2 Status and Treatment in the Outcome of 94 Patients

Emmanouil Fokas, Martin Henzel, Klaus Hamm [...]

Tumori Journal

Retricted access

Research article

First published 1995-11

Conceptual object–relationship–property approach: three different interpretations of the same entity

Bronius Paradauskas

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1993-08

Coordination of Motion in a Spacecraft/ Manipulator System

Olav Egeland, Jan Richard Sagli

The International Journal of Robotics Research

Open access

Research article

First published 2017-6

Model Reference Adaptive Control Based on KP Model for Magnetically Controlled Shape Memory Alloy Actuators

Miaolei Zhou, Yannan Zhang, Kun Ji [...]

Journal of Applied Biomaterials & Functional Materials

Retricted access

Research article

First published 1982-01

Optimal self-tuning control systems: theory and application

M.J. Grimble, P.T.K. Fung, M.A. Johnson

Transactions of the Institute of Measurement and Control

Search results