Search results

Articles (4)

Journals (0)

1-4 of 4 results for higher-order recursion schemes

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2022

Cost Automata,Safe Schemes,and Downward Closures

David Barozzini, Lorenzo Clemente, Thomas Colcombet [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2023-4

Xin Jing, Zhengsheng Chen, Haibo Gao [...]

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

Retricted access

Research article

First published 2023-7

Feng Li, Tian Zheng

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2022-3

Satyam Panda, Tapas Tripura, Budhaditya Hazra

Structural Health Monitoring