A
Menu
July 31, 2025 conference-paper Aachen paper

On Propositional Program Equivalence (Extended Abstract)

Lecture notes in computer science, pp. 3–18

DOI: 10.1007/978-3-031-99536-1_1 OpenAlex

Authors 1

  1. Tobias Kappé corresponding Aachen

    Leiden University

    Affiliation as printed

    LIACS, Leiden University, Leiden, The Netherlands

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-11).

References 43