Work

Versioned E-Graphs

Year: 2026

Type: conference-paper

Abstract: Artifact of the paper Versioned E-Graphs, published at PLDI2026. The artifact contains a README.md with descriptions of the software artifacts in relation to the claims of the paper.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18769552

Authors: Cesario, Jahrim Gabriele, Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido

Institution: University of St.Gallen

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7138998619

FWCI: 9.676

Cites:

Cited by: 1

Related to: