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

DOI10.2307/2007445zbMATH Open0517.20041OpenAlexW4249974509WikidataQ114252110 ScholiaQ114252110MaRDI QIDQ3665335FDOQ3665335

Authors:

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)

Cited In (5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3665335)