Publication:4133627
From MaRDI portal
zbMath0358.02057MaRDI QIDQ4133627
Publication date: 1976
06F05: Ordered semigroups and monoids
03D75: Abstract and axiomatic computability and recursion theory
zbMath0358.02057MaRDI QIDQ4133627
Publication date: 1976
06F05: Ordered semigroups and monoids
03D75: Abstract and axiomatic computability and recursion theory