Harary, F.; Gupta, G. A constraint logic programming approach for generating all perfect matchings. (English) Zbl 1050.68021 Appl. Math. Lett. 15, No. 8, 969-973 (2002). MSC: 68N17 05C70 68R10 05C85 PDFBibTeX XMLCite \textit{F. Harary} and \textit{G. Gupta}, Appl. Math. Lett. 15, No. 8, 969--973 (2002; Zbl 1050.68021) Full Text: DOI
Tse, S.; Dahl, V. Learning and using mathematics software the natural way. (English) Zbl 1010.68218 Appl. Math. Lett. 15, No. 7, 875-879 (2002). MSC: 68W30 68T50 PDFBibTeX XMLCite \textit{S. Tse} and \textit{V. Dahl}, Appl. Math. Lett. 15, No. 7, 875--879 (2002; Zbl 1010.68218) Full Text: DOI
Ding, Xie Ping Quasi-equilibrium problems with applications to infinite optimization and constrained games in general topological spaces. (English) Zbl 0955.49010 Appl. Math. Lett. 13, No. 3, 21-26 (2000). MSC: 49J40 47H10 47N10 91A44 90C48 PDFBibTeX XMLCite \textit{X. P. Ding}, Appl. Math. Lett. 13, No. 3, 21--26 (2000; Zbl 0955.49010) Full Text: DOI
Fall, A. Sparse logical terms. (English) Zbl 1105.68327 Appl. Math. Lett. 8, No. 5, 11-15 (1995). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Fall}, Appl. Math. Lett. 8, No. 5, 11--15 (1995; Zbl 1105.68327) Full Text: DOI
Goodwin, S. D.; Mahroos, M.; Neufeld, E. IDNAF Prolog. (English) Zbl 0809.68053 Appl. Math. Lett. 7, No. 3, 13-16 (1994). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{S. D. Goodwin} et al., Appl. Math. Lett. 7, No. 3, 13--16 (1994; Zbl 0809.68053) Full Text: DOI
Yan, Song Y.; Naish, Lee Completeness of an improved declarative debugger. (English) Zbl 0731.68024 Appl. Math. Lett. 4, No. 5, 7-12 (1991). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Y. Yan} and \textit{L. Naish}, Appl. Math. Lett. 4, No. 5, 7--12 (1991; Zbl 0731.68024) Full Text: DOI
Dahl, Verónica; Massicotte, Pierre Interpreting static discontinuity grammars in Prolog. (English) Zbl 0725.68093 Appl. Math. Lett. 3, No. 3, 21-24 (1990). MSC: 68T99 68Q42 68N17 PDFBibTeX XMLCite \textit{V. Dahl} and \textit{P. Massicotte}, Appl. Math. Lett. 3, No. 3, 21--24 (1990; Zbl 0725.68093) Full Text: DOI