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 4 of 4 for “"first-order formulas"”.
-
Algorithmic strategies for applicable real quantifier elimination
… obtaining these goals include simplification of first-order formulas,reduction of the size of the computed elimination set, and condensing a new replacement for the virtual substitution. Local quantifier elimination computes formulas that are equivalent to the input formula only nearby a given …
-
Formal verification of analog and mixed signal circuits using deductive and bounded approaches
… of phase locking for a third and fourth order CP PLL. Similarly, the inevitability of oscillation in ring oscillators (ROs) is verified using a numeric-symbolic deductive approach. The global inevitability (of oscillation) property is specified as a conjunction of several sub-properties …
-
Automatic presentations of infinite structures
… presentations allow for effective evaluation of first-order formulas over the represented structure in line with the strong correspondence between automata and logics. Accordingly, automatic presentations can be recast in logical terms using various notions of interpretations. The simplicity and …
-
Finite model enumeration
… algebras (groups, semigroups, and their ordered versions, quasigroups, fields, rings, MV-algebras, lattices, etc.), mathematicians resort to libraries of all models, up to isomorphism, of order n (for small values of n) of the classes of algebras they are interested in. These libraries …