Wojciech Kusmierowski

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Extended Boolean

Top Venues

Formaliz. Math.

Publications

Wojciech Kusmierowski, Adam Grabowski
Automatization of Ternary Boolean Algebras. Formaliz. Math. 29 (4) (2021)