Johnson, C. A. On the termination of clause graph resolution. (English) Zbl 0819.68112 J. Autom. Reasoning 13, No. 1, 83-115 (1994). MSC: 68T15 PDFBibTeX XMLCite \textit{C. A. Johnson}, J. Autom. Reasoning 13, No. 1, 83--115 (1994; Zbl 0819.68112) Full Text: DOI
Hosono, S.; Klemm, A.; Theisen, S. Lectures on mirror symmetry. (English) Zbl 0812.53061 Alekseev, Anton (ed.) et al., Integrable models and strings. Proceedings of the 3rd Baltic RIM student seminar, held at Helsinki, Finland, 13-17 September 1993. Berlin: Springer-Verlag. Lect. Notes Phys. 436, 235-280 (1994). MSC: 53Z05 81T30 81T20 81T10 32S45 PDFBibTeX XMLCite \textit{S. Hosono} et al., Lect. Notes Phys. 436, 235--280 (1994; Zbl 0812.53061) Full Text: arXiv
Cox, Ben Structure of the nonstandard category of highest weight modules. (English) Zbl 0818.17028 Futorny, V. (ed.) et al., Modern trends in Lie algebra representation theory. Conference held on the occasion of Albert John Coleman’s 75th birthday, Kingston, Ontario, Canada, May 20-22, 1993. Proceedings. Kingston, Ontario: Queen’s Univ. Press. Queen’s Pap. Pure Appl. Math. 94, 35-47 (1994). MSC: 17B67 PDFBibTeX XMLCite \textit{B. Cox}, Queen's Pap. Pure Appl. Math. 94, 35--47 (1994; Zbl 0818.17028)
Naito, Satoshi The strong Bernstein-Gelfand-Gelfand resolution for generalized Kac-Moody algebras. II: An explicit construction of the resolution. (English) Zbl 0829.17023 J. Algebra 167, No. 3, 778-802 (1994). Reviewer: Hiro-Fumi Yamada (Tokyo) MSC: 17B67 PDFBibTeX XMLCite \textit{S. Naito}, J. Algebra 167, No. 3, 778--802 (1994; Zbl 0829.17023) Full Text: DOI
Inoue, Katsumi Hypothetical reasoning in logic programs. (English) Zbl 0803.68013 J. Log. Program. 18, No. 3, 191-227 (1994). MSC: 68N17 68T15 68T27 PDFBibTeX XMLCite \textit{K. Inoue}, J. Log. Program. 18, No. 3, 191--227 (1994; Zbl 0803.68013) Full Text: DOI