You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (120)

Journals (0)

1-10 of 120 results for higher-order computability theory

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis

Retricted access

Research article

First published 2018-1-16

The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis

Sam Sanders

Computability

Select article: Nets and reverse mathematics

Retricted access

Research article

First published 2021-1-20

Nets and reverse mathematics

Sam Sanders

Computability

Select article: On the computational properties of the Baire category theorem

Retricted access

Research article

First published 2025-11

On the computational properties of the Baire category theorem

Sam Sanders

Computability

Select article: Impact Behavior of Thick Laminated Composite Beams

Retricted access

Research article

First published 1995-03

Impact Behavior of Thick Laminated Composite Beams

Dipak Kr. Maiti, P. K. Sinha

Journal of Reinforced Plastics and Composites

Select article: Mass problems and intuitionistic higher-order logic

Retricted access

Research article

First published 2016-2-11

Mass problems and intuitionistic higher-order logic

Sankha S. Basu, Stephen G. Simpson

Computability

Select article: On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Retricted access

Research article

First published 2019

On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Thomas Bittner

Applied Ontology

Select article: The Construction of a Plane from Pictorial Information

Retricted access

Research article

First published 1982-8

The Construction of a Plane from Pictorial Information

Irvin Rock, Deborah Wheeler, Josephine Shallo [...]

Perception

Select article: Determination of the time-domain equivalents of higher-order Laplace transfer functions by analog computation

Retricted access

Research article

First published 1970-03

Determination of the time-domain equivalents of higher-order Laplace transfer functions by analog computation

Jesús León, Emilio E. Herrero

SIMULATION

Select article: A new specular reflection optimization algorithm

Open access

Research article

First published 2015-10

A new specular reflection optimization algorithm

Qisong Qi, Gening Xu, Xiaoning Fan [...]

Advances in Mechanical Engineering

Select article: A Finite Element Investigation on the Effect of Cross-sectional Warping on Flexural Response of Laminated Composites and Sandwiches using Higher-order Shear Deformation Theory

Retricted access

Research article

First published 2005-10

A Finite Element Investigation on the Effect of Cross-sectional Warping on Flexural Response of Laminated Composites and Sandwiches using Higher-order Shear Deformation Theory

Sanjib Goswami

Journal of Reinforced Plastics and Composites

1
2
3
•••
12
10 / page

Article type

Publication date

Subjects

Access