Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (Q6486039)
From MaRDI portal
scientific article; zbMATH DE number 7636414
Language | Label | Description | Also known as |
---|---|---|---|
English | Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification |
scientific article; zbMATH DE number 7636414 |
Statements
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (English)
0 references
22 December 2022
0 references