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

DOI10.2307/2007445MaRDI QIDQ3665335zbMATH OpenOpenAlexWikidataFDO

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)

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

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)