Litcius/Paper detail

Order-sorted equational generalization algorithm revisited

Marı́a Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña

2021Annals of Mathematics and Artificial Intelligence12 citationsDOIOpen Access PDF

Topics & Concepts

FinitaryMathematicsModuloAxiomGeneralizationIdentity (music)Prime (order theory)RewritingIdentity functionDiscrete mathematicsAlgebra over a fieldAlgorithmCombinatoricsPure mathematicsComputer sciencePhysicsProgramming languageMathematical analysisAcousticsGeometryLogic, programming, and type systemssemigroups and automata theoryAdvanced Algebra and Logic
Order-sorted equational generalization algorithm revisited | Litcius