Algebra and automated deduction (Q4647540): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/3-540-61511-3_106 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1564734982 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708174 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846257 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orderings for term-rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rewrite, rewrite, rewrite, rewrite, rewrite, \dots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An overview of LP, the Larch Prover / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Presentations of groups and monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686870 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Contribution to the Theory of Groups of Prime-Power Order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994922 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4771409 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some group theoretic examples with completion theorem provers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751631 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite complete group presentations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3941589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4234301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4285784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Verifying nilpotence / rank | |||
Normal rank |
Latest revision as of 21:49, 17 July 2024
scientific article; zbMATH DE number 7001930
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebra and automated deduction |
scientific article; zbMATH DE number 7001930 |
Statements
Algebra and automated deduction (English)
0 references
15 January 2019
0 references