cfaed Publications
Bridging Syntax and Semantics of Lean Expressions in E-Graphs
Reference
Marcus Rossel, Andrés Goens, "Bridging Syntax and Semantics of Lean Expressions in E-Graphs", Proceedings of the 2024 EGRAPHS workshop, Jun 2024.
Bibtex
@InProceedings{rossel_egraphs24,
title={Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
author={Marcus Rossel and Andrés Goens},
booktitle = {Proceedings of the 2024 EGRAPHS workshop},
year={2024},
month = jun,
location = {Copenhagen, Denmark},
url = {https://arxiv.org/abs/2405.10188},
numpages = {6},
}
title={Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
author={Marcus Rossel and Andrés Goens},
booktitle = {Proceedings of the 2024 EGRAPHS workshop},
year={2024},
month = jun,
location = {Copenhagen, Denmark},
url = {https://arxiv.org/abs/2405.10188},
numpages = {6},
}
Downloads
No Downloads available for this publication
Permalink
https://cfaed.tu-dresden.de/publications?pubId=3768