Mahmoud, K. G.; Engl, H. W.; Holzleitner, L. Optimum structural design using MSC/NASTRAN and sequential quadratic programming. (English) Zbl 0868.73057 Comput. Struct. 52, No. 3, 437-447 (1994). MSC: 74P99 74S05 90C20 PDFBibTeX XMLCite \textit{K. G. Mahmoud} et al., Comput. Struct. 52, No. 3, 437--447 (1994; Zbl 0868.73057) Full Text: DOI
Standish, Thomas A. Data structures, algorithms and software principles. Repr. (English) Zbl 0853.68079 Amsterdam: Addison-Wesley. 784 p. (1994). Reviewer: M.Křivánek (Praha) MSC: 68P05 68-01 68N15 68W10 PDFBibTeX XMLCite \textit{T. A. Standish}, Data structures, algorithms and software principles. Repr. Amsterdam: Addison-Wesley (1994; Zbl 0853.68079)
Budimac, Zoran; Maćoš, Dragan; Ivanović, Mirjana Another bracket abstraction algorithm. (English) Zbl 0837.68013 Jaćimović, M. (ed.), VIII conference on applied mathematics, Tivat, Yugoslavia, May 27-29, 1993. Podgorica: University of Montenegro, Dept. of Mathematics, 23-28 (1994). MSC: 68N20 03B40 68W30 68N15 PDFBibTeX XMLCite \textit{Z. Budimac} et al., in: VIII conference on applied mathematics, Tivat, Yugoslavia, May 27-29, 1993. Podgorica: University of Montenegro, Dept. of Mathematics. 23--28 (1994; Zbl 0837.68013)
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W. Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. (English) Zbl 0838.03012 Theor. Comput. Sci. 135, No. 2, 405-422 (1994). Reviewer: S.Martini (Udine) MSC: 03B40 PDFBibTeX XMLCite \textit{P. Trigg} et al., Theor. Comput. Sci. 135, No. 2, 405--422 (1994; Zbl 0838.03012) Full Text: DOI
Arigoni, Anio O.; Rossi, Andrea Operating on formal concept abstraction. (English) Zbl 0822.68089 Mathware Soft Comput. 1, No. 2, 163-196 (1994). MSC: 68T05 68T27 PDFBibTeX XMLCite \textit{A. O. Arigoni} and \textit{A. Rossi}, Mathware Soft Comput. 1, No. 2, 163--196 (1994; Zbl 0822.68089) Full Text: EuDML
Cresswell, M. J. Relational nouns. (English) Zbl 0831.03016 Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 745-759 (1994). Reviewer: V.Shekhtman (Moskva) MSC: 03B65 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Stud. Logic Found. Math. 134, 745--759 (1994; Zbl 0831.03016)
Bell, John L. Fregean extensions of first-order theories. (English) Zbl 0806.03007 Math. Log. Q. 40, No. 1, 27-30 (1994). MSC: 03B10 PDFBibTeX XMLCite \textit{J. L. Bell}, Math. Log. Q. 40, No. 1, 27--30 (1994; Zbl 0806.03007) Full Text: DOI
Bachmair, Leo; Ganzinger, Harald; Waldmann, Uwe Refutational theorem proving for hierarchic first-order theories. (English) Zbl 0797.03008 Appl. Algebra Eng. Commun. Comput. 5, No. 3-4, 193-212 (1994). MSC: 03B35 68T15 68Q42 68Q65 PDFBibTeX XMLCite \textit{L. Bachmair} et al., Appl. Algebra Eng. Commun. Comput. 5, No. 3--4, 193--212 (1994; Zbl 0797.03008) Full Text: DOI
Sangiorgi, Davide The lazy lambda calculus in a concurrency scenario. (English) Zbl 0804.03008 Inf. Comput. 111, No. 1, 120-153 (1994). Reviewer: C.Berline (Paris) MSC: 03B40 68Q10 03B70 68Q55 PDFBibTeX XMLCite \textit{D. Sangiorgi}, Inf. Comput. 111, No. 1, 120--153 (1994; Zbl 0804.03008) Full Text: DOI Link
Henschel, Renate Declarative representation and processing of systemic grammars. (English) Zbl 0804.68113 Martín-Vide, Carlos (ed.), Current issues in mathematical linguistics. 1st International Conference, ICML ’93, Virgili University, Tarragona, Catalonia, Spain, on March 30-31, 1993. Selected papers. Amsterdam: North-Holland. North-Holland Linguist. Ser. 56, 363-371 (1994). MSC: 68T50 68Q42 68N99 68Q60 PDFBibTeX XMLCite \textit{R. Henschel}, North-Holland Linguist. Ser. 56, 363--371 (1994; Zbl 0804.68113)
Blelloch, Guy E.; Little, James J. Parallel solutions to geometric problems in the scan model of computation. (English) Zbl 0802.68059 J. Comput. Syst. Sci. 48, No. 1, 90-115 (1994). MSC: 68W15 68Q25 68U05 PDFBibTeX XMLCite \textit{G. E. Blelloch} and \textit{J. J. Little}, J. Comput. Syst. Sci. 48, No. 1, 90--115 (1994; Zbl 0802.68059) Full Text: DOI
Boudol, Gérard Lambda-calculi for (strict) parallel functions. (English) Zbl 0796.03021 Inf. Comput. 108, No. 1, 51-127 (1994). Reviewer: C.Berline (Paris) MSC: 03B40 68N01 68Q55 PDFBibTeX XMLCite \textit{G. Boudol}, Inf. Comput. 108, No. 1, 51--127 (1994; Zbl 0796.03021) Full Text: DOI Link
Siegel, M.; Stomp, F. A. Extending the limits of sequentially phased reasoning. (English) Zbl 1044.68556 Thiagarajan, P. S. (ed.), Foundations of software technology and theoretical computer science. 14th conference, Madras, India, December 15-17, 1994. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-58715-2 /SC). Lect. Notes Comput. Sci. 880, 402-413 (1994). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{M. Siegel} and \textit{F. A. Stomp}, Lect. Notes Comput. Sci. 880, 402--413 (1994; Zbl 1044.68556)
Yasugi, Mariko; Hayashi, Susumu Interpretations of transfinite recursion and parametric abstraction in types. (English) Zbl 0874.03069 Ito, Masami (ed.) et al., Words, languages and combinatorics II. Proceedings of the 2nd international conference, Kyoto, Japan, August 25-28, 1992. Singapore: World Scientific. 452-464 (1994). MSC: 03F50 PDFBibTeX XMLCite \textit{M. Yasugi} and \textit{S. Hayashi}, in: Words, languages and combinatorics II. Proceedings of the 2nd international conference, Kyoto, Japan, August 25-28, 1992. Singapore: World Scientific. 452--464 (1994; Zbl 0874.03069)