Skip to contents

  1. Steen, Alexander; Benzmüller, Christoph

    Logic for Programming, Artificial Intelligence, and Reasoning: There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2015

    Published in: Logic for Programming, Artificial Intelligence, and Reasoning