Relative complexity of algebras

This publication has 22 references indexed in Scilit:

• The Role of Modern Algebra in Computing
  Published by Springer Nature ,1987
• Rational algebraic theories and fixed-point solutions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Abstract Data Types and Software Validation
  Published by Defense Technical Information Center (DTIC) ,1976
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• The algebraic theory of recursive program schemes
  Published by Springer Nature ,1975
• Comparison of polynomial-time reducibilities
  Published by Association for Computing Machinery (ACM) ,1974
• Correctness of Translations of Programming Languages -- An Algebraic Approach
  Published by Defense Technical Information Center (DTIC) ,1972
• Reducibility among Combinatorial Problems
  Published by Springer Nature ,1972
• An algebraic description of programs with assertions, verification and simulation
  ACM SIGPLAN Notices, 1972
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971