Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: Leibniz International Proceedings in Informatics (LIPIcs), Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)

Number of items: 1.

Leibniz International Proceedings in Informatics (LIPIcs), Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)

Fuhs, Carsten and Guo, L. and Kop, C. (2025) An Innermost DP Framework for Constrained Higher-Order Rewriting. In: Fernández, M. (ed.) Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Leibniz International Proceedings in Informatics. Dagstuhl Publishing, 20:1-20:24.

This list was generated on Sun Aug 3 03:10:53 2025 BST.

Export as	Atom RSS