Publications by Drechsler, Rolf
 | Up a level |
Group by: Item Type | Date
Jump to: Book Section
Number of items: 1.
Book Section
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]