Elimination of composite superpositions may cause abortion
From MaRDI portal
Publication:808267
Recommendations
- Superposition stetiger Abbildungen
- Superposition based on Watson-Crick-like complementarity
- Some Remarks on Superposition Based on Watson-Crick-Like Complementarity
- Superposition quantification
- scientific article; zbMATH DE number 92270
- Complementarity without superadditivity
- Consider only general superpositions in completion procedures
- Superposition as a logical glue
- scientific article; zbMATH DE number 857400
- Hierarchic superposition revisited
Cites work
- scientific article; zbMATH DE number 3896290 (Why is no real title available?)
- scientific article; zbMATH DE number 3928346 (Why is no real title available?)
- scientific article; zbMATH DE number 3981150 (Why is no real title available?)
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure
This page was built for publication: Elimination of composite superpositions may cause abortion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q808267)