EQUATIONAL PROOFS OF JACOBSON’S THEOREM

被引：0

作者：

Brandenburg, Martin

机构：

来源：

arXiv | 2023年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] A fully equational proof of Parikh's theorem
Aceto, L
Ésik, Z
Ingólfsdóttir, A
[J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2002, 36 (02): : 129 - 153
[2] Certifying and synthesizing membership equational proofs
Rosu, G
Eker, S
Lincoln, P
Meseguer, J
[J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 359 - 380
[3] PROOFS BY INDUCTION IN EQUATIONAL THEORIES WITH CONSTRUCTORS
HUET, G
HULLOT, JM
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (02) : 239 - 266
[4] FOUNDATIONS OF EQUATIONAL DEDUCTION - A CATEGORICAL TREATMENT OF EQUATIONAL PROOFS AND UNIFICATION ALGORITHMS
RYDEHEARD, DE
STELL, JG
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 114 - 139
[5] THE EQUATIONAL PART OF PROOFS BY STRUCTURAL INDUCTION
LYSNE, O
[J]. BIT, 1993, 33 (04): : 596 - 618
[6] Three Proofs of Tychonoff's Theorem
Matheron, Etienne
[J]. AMERICAN MATHEMATICAL MONTHLY, 2020, 127 (05): : 437 - 443
[7] Two proofs of Graves's theorem
Poorrezaei, K
[J]. AMERICAN MATHEMATICAL MONTHLY, 2003, 110 (09): : 826 - 830
[8] Two proofs of Fine's theorem
Halliwell, J. J.
[J]. PHYSICS LETTERS A, 2014, 378 (40) : 2945 - 2950
[9] Computationally based proofs of Stokes's theorem and Gauss's theorem
Saslow, Wayne M.
[J]. EUROPEAN JOURNAL OF PHYSICS, 2007, 28 (06) : 1045 - 1050
[10] WEDDERBURNS THEOREM AND A THEOREM OF JACOBSON
HERSTEIN, IN
[J]. AMERICAN MATHEMATICAL MONTHLY, 1961, 68 (03): : 249 - &