Code Generation for a Simple First-Order Prover

Jørgen Villadsen, Anders Schlichtkrull, Andreas Halkjær From

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

271 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Code Generation for a Simple First-Order Prover'. Together they form a unique fingerprint.

Computer Science