Semigroups, Antiautomorphisms, and Involutions: A Computer Solution to an Open Problem, I

DOI10.2307/2007445zbMath0517.20041OpenAlexW4249974509WikidataQ114252110 ScholiaQ114252110MaRDI QIDQ3665335

No author found.

Publication date: 1981

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2007445

zbMATH Keywords

automated theorem proverantiautomorphisms of finite semigroups

Mathematics Subject Classification ID

General structure theory for semigroups (20M10)

Related Items (5)

The application of automated reasoning to questions in mathematics and logic ⋮ On groups generated by involutions of a semigroup. ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ Larry Wos: visions of automated reasoning ⋮ The problem of selecting an approach based on prior success

This page was built for publication: Semigroups, Antiautomorphisms, and Involutions: A Computer Solution to an Open Problem, I