Logo Logo

Publications by Drechsler, Rolf

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
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]

This list was generated on Mon Jan 18 21:33:11 2021 CET.