Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Jump to: Article | Book Section
    Number of items: 4.

    Article

    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.

    Book Section

    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.

    Fuhs, Carsten and Kop, C. (2019) A static higher-order dependency pair framework. In: Caires, L. (ed.) Programming Languages and Systems, 28th European Symposium on Programming, ESOP 2019, Proceedings. Lecture Notes in Computer Science 11423. Springer, pp. 752-782. ISBN 9783030171834.

    Fuhs, Carsten and Kop, C. (2014) First-order formative rules. In: Dowek, G. (ed.) Rewriting and Typed Lambda Calculi. Lecture Notes in Computer Science 8560. New York, U.S.: Springer, pp. 240-256. ISBN 9783319089171.

    This list was generated on Sun Aug 3 03:02:25 2025 BST.