Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting

Authors
Publication date
1 January 2022
Publisher
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      NARCIS

      redirect
      Last time updated on 31/12/2022