Results 91 to 100 of about 391,081 (113)
Isomorphism Versus Elementary Equivalence and EF-games in Semiring Semantics
Semiring semantics of first-order logic extends classical logic by intepreting formulae with values from a commutative semiring. The behaviour of semiring semantics is interesting and many results of classical first-order logic no longer apply for ...
Vuorisalo, Olli
core
Soft Constraint Abstraction Based on Semiring Homomorphism
The semiring-based constraint satisfaction problems (semiring CSPs), proposed by Bistarelli, Montanari and Rossi [S. Bistarelli, U. Montanari, F. Rossi, Semiring-based constraints solving and optimization, Journal of the ACM 44 (2) (1997) 201-236], is a ...
Sanjiang Li, Mingsheng Ying
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Semiring and Involution Identities of Power Groups
Journal of the Australian Mathematical Society, 2023Sergey V Gusev, Mikhail Volkov
exaly
The Metric Dimension of the Zero-Divisor Graph of a Matrix Semiring
Bulletin of the Malaysian Mathematical Sciences Society, 2023David Dolžan
exaly

