1174 search results - page 60 / 235 » A Logical Approach to Abstract Algebra |
144
click to vote
JSYML
2011
15 years 1 months ago
2011
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
155
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
191
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
154
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
149
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...