共 50 条
- [43] Countable Version of Omega-Rule LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 201 - 209
- [44] TREES AND PI(1)1-SUBSETS OF (OMEGA-1)OMEGA-1 JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (03) : 1052 - 1070
- [45] ON THE IMBEDDINGS C1/B(OMEGABAR)C-1(OMEGA)-] CO,OMEGA(OMEGA-D) JOURNAL OF MATHEMATICS OF KYOTO UNIVERSITY, 1989, 29 (02): : 273 - 281
- [47] A characterization of the orthogonal of Delta(H-2(Omega)boolean AND H-0(1)(Omega)) in L-2(Omega) COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1997, 325 (06): : 605 - 610
- [49] INTRAMOLECULAR PHOTOCYCLIZATION OF OMEGA,OMEGA-DIPHENYL-(OMEGA-1)-ALKEN-1-OLS BY AN EXCIPLEX QUENCHING MECHANISM ANGEWANDTE CHEMIE-INTERNATIONAL EDITION IN ENGLISH, 1994, 33 (20): : 2113 - 2115