Results 161 to 170 of about 77,893 (200)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1981
AbstractWe prove the following algebraic characterization of elementary equivalence: ≡ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of ...
openaire +2 more sources
AbstractWe prove the following algebraic characterization of elementary equivalence: ≡ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of ...
openaire +2 more sources
1996
The paper shows relationship between model-theoretical and deductive approaches in relational databases. In the model-theoretical approach, semantics of algebraic geometry is applied to construct various invariants of replies to queries.
openaire +1 more source
The paper shows relationship between model-theoretical and deductive approaches in relational databases. In the model-theoretical approach, semantics of algebraic geometry is applied to construct various invariants of replies to queries.
openaire +1 more source
Variational algorithms for linear algebra
Science Bulletin, 2021Xiaosi Xu, Jinzhao Sun, Suguru Endo
exaly
Mixed precision algorithms in numerical linear algebra
Acta Numerica, 2022Nicholas J Higham, Theo Mary
exaly
Spacetime algebra as a powerful tool for electromagnetism
Physics Reports, 2015Justin Dressel +2 more
exaly
, 2018