Horatiu Cheval

According to our database, Horatiu Cheval authored at least 4 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

$\mathbb {K}$ Definitions as Matching Logic Theories, Formally.

Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2024

Formal definitions and proofs for partial (co)recursive functions.

Horatiu Cheval, David Nowak, Vlad Rusu

J. Log. Algebraic Methods Program., 2024

2023

On Modified Halpern and Tikhonov-Mann Iterations.

Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean

J. Optim. Theory Appl., April, 2023

2022

Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration.

Horatiu Cheval, Laurentiu Leustean

Optim. Methods Softw., 2022