Browse by Person

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

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

Number of items: 2.

ACM Transactions on Computational Logic

Fuhs, Carsten and Kop, C. and Nishida, N. (2017) Verifying procedural programs via constrained rewriting induction. ACM Transactions on Computational Logic 18 (2), ISSN 1529-3785.

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:02:25 2025 BST.

Export as	Atom RSS