English International Workshop on First-Order Theorem Proving Cited by user Betterkeks on 10 Feb 2024 The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first-order logic and…
English International Joint Conference on Automated Reasoning Cited by user Betterkeks on 10 Feb 2024 The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields.
English Focused proofs Cited by user AlexGheorghiu on 27 Aug 2020 Focused proofs are particular family of analytic proofs which arise through goal-directed proof-search, and are a topic of study in structural proof theory and reductive…