Michal M. Stronkowski

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 4

Top Topics

Development Process

Active Databases

Top Venues

Arch. Math. Log.

Publications

Michal M. Stronkowski
Deciding active structural completeness. Arch. Math. Log. 59 (1-2) (2020)
Anvar M. Nurakunov, Michal M. Stronkowski
Profiniteness in Finitely Generated Varieties is Undecidable. J. Symb. Log. 83 (4) (2018)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. Ann. Pure Appl. Log. 167 (7) (2016)
Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione
On structural completeness versus almost structural completeness problem: A discriminator varieties case study. Log. J. IGPL 23 (2) (2015)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. CoRR (2014)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. TACL (2013)
Anvar M. Nurakunov, Michal M. Stronkowski
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited. Stud Logica 101 (4) (2013)
Anvar M. Nurakunov, Michal M. Stronkowski
Quasivarieties with Definable Relative Principal Subcongruences. Stud Logica 92 (1) (2009)
Michal M. Stronkowski
Embedding Entropic Algebras into Semimodules and Modules. Int. J. Algebra Comput. 19 (8) (2009)