3 papers
math.LO2025
Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
Christine Gaßner
BSS RAMs were introduced to provide a mathematical framework for characterizing algorithms over first-order structures. Non-deterministic BSS RAMs help to model different non-deter…
math.LO2025
Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
Christine Gaßner
BSS RAMs over first-order structures help to characterize algorithms for processing objects by means of useful operations and relations. They are the result of a generalization of…
math.LO2025
Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
Christine Gaßner
Most ideas about what an algorithm is are very similar. Basic operations are used for transforming objects. The evaluation of internal and external states by relations has impact o…