![](/img/cover-not-exists.png)
Minimizing disjunctive normal forms of pure first-order logic
Lampert, TimmVolume:
25
Language:
english
Journal:
Logic Journal of the IGPL
DOI:
10.1093/jigpal/jzx003
Date:
June, 2017
File:
PDF, 473 KB
english, 2017