|
Author:Alexej PynkoPublications |
---|
EasyChair Preprint no. 10296 | EasyChair Preprint no. 6563 | EasyChair Preprint no. 8770 | EasyChair Preprint no. 4059 | EasyChair Preprint no. 5564 | EasyChair Preprint no. 5358 | EasyChair Preprint no. 5171 | EasyChair Preprint no. 4928 | EasyChair Preprint no. 4814 | EasyChair Preprint no. 4639 | EasyChair Preprint no. 3118 | EasyChair Preprint no. 4153 | EasyChair Preprint no. 4078 | EasyChair Preprint no. 3942 | EasyChair Preprint no. 3096 |
Keyphrasesalgebra, Calculus7, De Morgan lattice, disjunctive, extension6, filtral, implicative, lattice, logic12, matrix12, model5, quasi-variety, quasivariety, REDPC, sequent, Stone algebra. |
|
|