Logo Logo
Hilfe
Hilfe
Switch Language to English

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2021): Axiomatizing Boolean Differentiation. In: Große, Daniel und Drechsler, Rolf (Hrsg.): Recent Findings in Boolean Techniques. Selected Papers from the 14th International Workshop on Boolean Problems. Cham: Springer. S. 83-104 [PDF, 333kB]

[thumbnail of ModelTheoryBDC_Bookchapter.pdf]
Akzeptierte Version
Download (333kB)
Dokument bearbeiten Dokument bearbeiten