A Logic of Bounded Time for Program Synthesis

SSRN Electronic Journal 2026 Preprint Open access

Read full text
Authors: Milad Joudakizadeh, Anatoly Petrovich Beltiukov
DOI: 10.2139/ssrn.6220158
Cited by: 0
References: 10

Fields of Study & Subjects

Logic programming and type systems Reasoning and Knowledge Computability AI Algorithms

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Language
EN
Document type
Preprint