4 papers
Abstract computation over first-order structures. Extras: From programs to decision trees I
Christine Gaßner
Decisions and their consequences can be described and analyzed by means of decision trees. The decisions themselves depend on questions that, whenever possible, should be answered…
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…
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…
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…