Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"axiomatizability"”.
-
On the Finite Axiomatizability of Equational Theories of Automatic Algebras
<p>An algebra is a set of elements equipped with some finitary operations represented by a selected set of operation symbols. Using the operation symbols, we can form equations that describe identities in the algebra. We can investigate to see if the set of equations that hold in an algebra is …
-
Modest Automorphisms of Presburger Arithmetic
… prove quantifier elimination, decidability, and axiomatizability for both the quotient and the Presburger structure expanded by this automorphism, with explicit axiomatizations given in Chapter 3. The second automorphism is maximal in the sense that its fixed-point set consists only of the …
-
Algorithmische Eigenschaften von Branching-Time Logiken
Es wird die Axiomatisierbarkeit einer Klasse von temporalen Prädikatenlogiken über verzweigenden Strukturen gezeigt. Entscheidbarkeitsresultate folgen für diverse Fragmente dieser Logiken. Anwendungen werden diskutiert.