Cyclic connections

DOI10.1007/3-540-61208-4_6MaRDI QIDQ4645228zbMATH OpenOpenAlexFDO

Authors Gérard Becher

Publication date 10 January 2019

Published in Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61208-4_6

zbMATH Keywords

background theoryopen formulapredicate symbolquery languagetree automaton

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 64168
• An ordering linear unification algorithm
• scientific article; zbMATH DE number 1761415
• scientific article; zbMATH DE number 517084
• scientific article; zbMATH DE number 1748570

Cites work

• Automated deduction by theory resolution
• Completeness of a prover for dense linear orders
• Fast Decision Procedures Based on Congruence Closure
• scientific article; zbMATH DE number 3684932 (Why is no real title available?)
• scientific article; zbMATH DE number 3774914 (Why is no real title available?)
• scientific article; zbMATH DE number 64168 (Why is no real title available?)
• scientific article; zbMATH DE number 475429 (Why is no real title available?)
• scientific article; zbMATH DE number 517077 (Why is no real title available?)
• scientific article; zbMATH DE number 1761415 (Why is no real title available?)
• Ordered chaining calculi for first-order theories of transitive relations
• The undecidability of simultaneous rigid E-unification
• Theorem proving using equational matings and rigid E -unification
• Theorem Proving via General Matings

Cited in

(5)

• scientific article; zbMATH DE number 517084 (Why is no real title available?)
• Subcentric linking systems
• Sommes connexes fibrées en cercles
• Connecting Cycles for Concentric Circles
• Cyclic theories

This page was built for publication: Cyclic connections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645228)