Pablo Barenbaum / Detalle / Mapa de Colaboraciones

Proof Terms for Higher-Order Rewriting and Their Equivalence

Volver al Detalle
2024 Citas: 0

Origen de Colaboraciones Internacionales

Colaboradores

Nombre Ubicación / País
Pablo Barenbaum France