Sage Journals: Discover world-class research

Retricted access

Research article

First published 2022

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy [...]

Fundamenta Informaticae

Free access

Research article

First published 2020-2

Identification of Let-7f-5p as a novel biomarker of recurrence in non-muscle invasive bladder cancer

Kevin Shee, John D. Seigne, Margaret R. Karagas [...]

Cancer Biomarkers

Retricted access

Research article

First published 2007-5

Rank 2 Intersection for Recursive Definitions

Ferruccio Damiani

Fundamenta Informaticae

Retricted access

Research article

First published 1982

On the Unwinding of Flow-Charts with Stacks

Paweł Urzyczyn

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions,if these Solutions form a Finite Set?

Apoloniusz Tyszka

Fundamenta Informaticae

Retricted access

Research article

First published 2018-12-19

On subrecursive representability of irrational numbers,part II

Lars Kristiansen

Computability

Retricted access

Research article

First published 2016

A Generalization of Join and an Algorithmic Recognition Problem

M.A. Shalu, S. Devi Yamini

Fundamenta Informaticae

Free access

Other

First published 2009-1-1

A Detector Generating Algorithm Based on Interval Partition

Huifen Xia, Shiguang Ju, Tao Cai

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2012-9

On the Strength of Weak Compactness

Alexander P. Kreuzer

Computability

Search results