Proofs of lemmas and theorems in the UTP

被引：0

作者：

机构：

来源：

REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING | 2006年 / 3167卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：369 / 374

页数：6

共 50 条

[1] Auxiliary Statements and Proofs of Technical Lemmas
Kha, Minh
Kuchment, Peter
LIOUVILLE-RIEMANN-ROCH THEOREMS ON ABELIAN COVERINGS, 2021, 2245 : 67 - 84
[2] Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
Michelucci, Dominique
AUTOMATED DEDUCTION IN GEOMETRY, 2011, 6877 : 118 - 131
[3] Topological Proofs of Some Rasiowa-Sikorski Lemmas
Goldblatt, Robert
STUDIA LOGICA, 2012, 100 (1-2) : 175 - 191
[4] New proofs for the two Barnes lemmas and an additional lemma
Jantzen, Bernd
JOURNAL OF MATHEMATICAL PHYSICS, 2013, 54 (01)
[5] Topological Proofs of Some Rasiowa-Sikorski Lemmas
Robert Goldblatt
Studia Logica, 2012, 100 : 175 - 191
[6] Three Sylow Theorems and Their Proofs
Li, Dezheng
2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
[7] SHORT THEOREMS WITH LONG PROOFS
SPENCER, J
AMERICAN MATHEMATICAL MONTHLY, 1983, 90 (06): : 365 - 366
[8] Proofs of Theorems A, B, C
不详
LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 38 - 42
[9] Main Theorems and Strategy for Their Proofs
Cossart, Vincent
Jannsen, Uwe
Saito, Shuji
DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104
[10] ON PHYSICAL PROOFS OF MATHEMATICAL THEOREMS
PERDANG, J
PHYSICS LETTERS A, 1983, 93 (09) : 459 - 463