Robuta

https://www.research.ed.ac.uk/en/publications/on-the-axiomatizability-of-quantitative-algebras/fingerprints/?sortBy=alphabetically On the Axiomatizability of Quantitative Algebras - Fingerprint - University of Edinburgh Research... on the quantitative algebras fingerprint university https://hh.diva-portal.org/smash/record.jsf?pid=diva2:585570 Lifting non-finite axiomatizability results to extensions of process algebras lifting non finite results extensions