Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020

Further results on advanced robust iterative learning control and modeling of robotic systems

Mihailo P Lazarević, Petar D Mandić, Srđan Ostojić

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 1998-4

Names,Equations,Relations: Practical Ways to Reason about new

Ian Stark

Fundamenta Informaticae

Retricted access

Research article

First published 2008-9

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Hermenegilda Macià, Valentín Valero, Fernando Cuartero [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-11

Monotone Convergence of Extended Iterative Methods and Fractional Calculus with Applications

George A. Anastassiou, Ioannis K. Argyros, Sunil Kumar

Fundamenta Informaticae

Retricted access

Research article

First published 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae

Retricted access

Research article

First published 2001-4

Nonmodularity Results for Lambda Calculus

Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 1993-5

Simultaneous Caries Induction and Calculus Formation in Rats

J.M. Tanzer, L.P. Grant, T. McMahon [...]

Journal of Dental Research

Retricted access

Research article

First published 1994-12

DISTRIBUTIVE EVALUATIONS OF λ-CALCULUS

Cosimo Laneve

Fundamenta Informaticae

Retricted access

Research article

First published 2004-07

Single-Term Walsh Series Direct Method for the Solution of Nonlinear Problems in the Calculus of Variations

M. Razzaghi, B. Sepehrian

Journal of Vibration and Control

Retricted access

Research article

First published 1989

On the λ Definable Higher Order Boolean Operations

Marek Zaionc

Fundamenta Informaticae

Search results