Henkin–Ramirez kernels
Crossref DOI link: https://doi.org/10.1007/s40590-023-00555-7
Published Online: 2023-12-11
Published Print: 2023-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fornæss, John Erik
Funding for this research was provided by:
NTNU Norwegian University of Science and Technology
Text and Data Mining valid from 2023-12-01
Version of Record valid from 2023-12-11
Article History
Received: 18 April 2022
Accepted: 8 December 2022
First Online: 11 December 2023