scientific article; zbMATH DE number 978243
From MaRDI portal
Publication:4332419
Recommendations
- Automatic Proof Generation in Kleene Algebra
- Automated Reasoning in Kleene Algebra
- scientific article; zbMATH DE number 863013
- Proof theory and automated deduction
- scientific article; zbMATH DE number 2100042
- Automated Reasoning in Higher-Order Regular Algebra
- scientific article; zbMATH DE number 4117898
- Automated theorem proving for Łukasiewicz logics
- Automated constructivization of proofs
- Automating theories in intuitionistic logic
Cited in
(18)- Automated deduction with associative-commutative operators
- Autarkic computations in formal proofs
- Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
- Automated Reasoning in Higher-Order Regular Algebra
- Automating Change of Representation for Proofs in Discrete Mathematics
- Automating Proofs in Category Theory
- Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- scientific article; zbMATH DE number 1985200 (Why is no real title available?)
- Factor varieties and symbolic computation
- Algebra and automated deduction
- scientific article; zbMATH DE number 2100042 (Why is no real title available?)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- scientific article; zbMATH DE number 3894495 (Why is no real title available?)
- Computer Science Logic
- The Alf proof editor and its proof engine
- Automating algebraic proof systems is NP-hard
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332419)
