scientific article
From MaRDI portal
Publication:3788208
zbMath0645.20040MaRDI QIDQ3788208
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
regularityGreen's relationssemigroupslocal semilatticeinteractive theorem proverInteractive Theorem Prover
Symbolic computation and algebraic computation (68W30) General structure theory for semigroups (20M10) Software, source code, etc. for problems pertaining to group theory (20-04)
Related Items (1)
This page was built for publication:
