A Aralex Aachen research explorer

Artifact Digital Object Group Sign in to save

Search and filter its papers →

1

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

22

Papers 1

Artifact for OOPSLA 2022 Article Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2022 Artifact Digital Object Group dataset Computer Science Logic, programming, and type systems

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

1

citations

1 result

Most active Aachen authors

Christof Löding 2,764 citations overall
1 paper