On the Fine-Structure of Regular Algebra

Foster, Simon David orcid.org/0000-0002-9889-9514 and Struth, Georg (2014) On the Fine-Structure of Regular Algebra. Journal of Automated Reasoning. pp. 165-197. ISSN 0168-7433

Abstract

Metadata

Authors/Creators:
Dates:
  • Published: 3 December 2014
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 29 Jul 2016 09:05
Last Modified: 25 Nov 2021 00:28
Published Version: https://doi.org/10.1007/s10817-014-9318-9
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10817-014-9318-9

Download

Share / Export

Statistics