Fingerprint
Dive into the research topics of 'Model-guided synthesis of inductive lemmas for FOL with least fixpoints'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
Research output: Contribution to journal › Article › peer-review