DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(A AND Sequent AND Calculus AND for AND First-Order AND Logic AND Formalized AND in AND Isabelle/HOL AND *)
Suggestions: Include records that partially match the query
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL
Ceur Workshop Proceedings — 2021, pp. 107-121
Year: 2021
Language: English
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL 10.1093/logcom/exad013
Journal of Logic and Computation — 2023, Volume 33, Issue 4, pp. 818-836
Year: 2023
Language: English