Keyword:algebra

Papers
Subprevarieties of Algebraic Systems Versus Extensions of Logics: Application to Some Many-Valued Logics Alexej Pynko EasyChair Preprint no. 3942
Solved Problems on Sequences in the Training of High School Students for International Mathematical Olympiads Juan López Linares EasyChair Preprint no. 1125
Propagators and Solvers for the Algebra of Modular Systems Bart Bogaerts, Eugenia Ternovska and David Mitchell In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning