On the Deductive System of the Order of an Equationally Orderable Quasivariety
Crossref DOI link: https://doi.org/10.1007/s11225-016-9650-7
Published Online: 2016-02-08
Published Print: 2016-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jansana, Ramon
Funding for this research was provided by:
Agència de Gestió d’Ajuts Universitaris i de Recerca (2014 SGR 788)
Seventh Framework Programme (FP7-PEOPLE- 2009-IRSES)
Ministerio de Economía y Competitividad (MTM2011-25747)
Text and Data Mining valid from 2016-02-08