Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by the same user not shown)
Property / cites work
 
Property / cites work: Dealing with Non-orientable Equations in Rewriting Induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Incorporating decision procedures in implicit induction. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4447243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated theorem proving by test set induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Mathematical Induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implicit induction in conditional theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751365 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Orderings for term-rewriting systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving termination with multiset orderings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5581665 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mechanical verification of an ideal incremental ABR conformance algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: A general framework to build contextual cover set induction provers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Reasoning with Analytic Tableaux and Related Methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Descente Infinie + Deduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Term rewriting induction / rank
 
Normal rank

Latest revision as of 10:01, 4 December 2024

scientific article
Language Label Description Also known as
English
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities
scientific article

    Statements

    Identifiers