A Polynomial-Time Algorithm for the Automatic Baire Property

Lecture notes in computer science 2026 Open access

Read full text
Authors: Ludwig Staiger
DOI: 10.1007/978-3-032-31348-5_35
Cited by: 0

Fields of Study & Subjects

Auction Theory and Applications Formal Methods in Verification

Publication details

Journal / source
Lecture notes in computer science
Pages
528–536
Publication date
19 July 2026
Language
EN