A static higher-order dependency pair framework

DOI10.1007/978-3-030-17184-1_27zbMath1524.68164arXiv1902.06733MaRDI QIDQ6070806

Cynthia Kop, Carsten Fuhs

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.06733

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: A static higher-order dependency pair framework