A Sequent Calculus Prover for First-Order Logic with Functions

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361480FDO

Authors Asta Halkjær From, Frederik Krogsdal Jacobsen

Publication date 31 January 2022

This page was built for software: A Sequent Calculus Prover for First-Order Logic with Functions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Sequent_Calculus_Prover_for_First-Order_Logic_with_Functions&oldid=105366944"