![]() | Up a level |
Weitkämper, Felix ORCID: 0000-0002-3895-8279
(2021):
Axiomatizing Boolean Differentiation.
In: Große, Daniel; Drechsler, Rolf (eds.) :
Recent Advances in Boolean Techniques. Springer International Publishing. [Forthcoming]
[PDF, 333kB]