共 50 条
- [48] COMPLETENESS OF GALOIS THEORIES .4. BULLETIN DES SCIENCES MATHEMATIQUES, 1969, 93 (3-4): : 157 - &
- [49] Completeness for Algebraic Theories of Local State FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 48 - 63
- [50] Completeness of Unfolding for Rewriting Logic Theories 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 116 - 123