Logo Logo
Hilfe
Hilfe
Switch Language to English

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2. Juni 2020): The first-order theory of boolean differentiation. Extended version. [PDF, 404kB]

[thumbnail of ModelTheoryBDC_Extended.pdf]
Vorschau

Download (404kB)
Dokument bearbeiten Dokument bearbeiten