Evans, D. J. A recursive decoupling method for solving tridiagonal linear systems. (English) Zbl 0752.65021 Int. J. Comput. Math. 33, No. 1-2, 95-102 (1990). MSC: 65F05 65Y05 PDFBibTeX XMLCite \textit{D. J. Evans}, Int. J. Comput. Math. 33, No. 1--2, 95--102 (1990; Zbl 0752.65021) Full Text: DOI
Lisovik, L. P. Operations on R-numbers. (English. Russian original) Zbl 0752.03030 Cybernetics 26, No. 2, 145-151 (1990); translation from Kibernetika 1990, No. 2, 1-7, 25 (1990). MSC: 03F60 68Q05 26E40 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Cybernetics 26, No. 2, 145--151 (1990; Zbl 0752.03030); translation from Kibernetika 1990, No. 2, 1--7, 25 (1990) Full Text: DOI
Lisovik, L. P. Classes of functions defined by transducers. (English. Russian original) Zbl 0752.03031 Cybernetics 26, No. 6, 781-788 (1990); translation from Kibernetika 1990, No. 6, 1-7, 34 (1990). MSC: 03F60 68Q05 26E40 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Cybernetics 26, No. 6, 781--788 (1990; Zbl 0752.03031); translation from Kibernetika 1990, No. 6, 1--7, 34 (1990) Full Text: DOI
Frommer, Andreas Lösung linearer Gleichungssysteme auf Parallelrechnern. (Solution of systems of linear equations on parallel computers). (German) Zbl 0706.65014 Braunschweig: Friedr. Vieweg & Sohn. xvi, 267 p. DM 52.00 (1990). Reviewer: W.Schönauer MSC: 65F05 65F10 65Y05 65-02 65N22 PDFBibTeX XMLCite \textit{A. Frommer}, Lösung linearer Gleichungssysteme auf Parallelrechnern. (Solution of systems of linear equations on parallel computers). Braunschweig: Friedr. Vieweg \&| Sohn (1990; Zbl 0706.65014)
Chaitin, G. J. Information, randomness and incompleteness. Papers on algorithmic information theory. 2nd ed. (English) Zbl 1015.00502 Series in Computer Science. 8. Singapore: World Scientific. vi, 320 p. (1990). MSC: 00B60 01A75 03D15 03D20 68Q30 94A15 PDFBibTeX XMLCite \textit{G. J. Chaitin}, Information, randomness and incompleteness. Papers on algorithmic information theory. 2nd ed. Singapore: World Scientific (1990; Zbl 1015.00502)
Golubski, Wolfgang; Lippe, Wolfram-M. Tree-stack automata. (English) Zbl 0733.68024 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 313-321 (1990). MSC: 68Q05 68Q42 68Q45 PDFBibTeX XML
Stoyanova-Kuncheva, Bogdana Iv.; Andreev, Andrej St. Stability of some parallel numerical methods. (English) Zbl 0727.65021 Mathematics and education in mathematics, Proc. 19th Spring Conf., Sunny Beach/Bulg. 1990, 360-366 (1990). MSC: 65F05 65G50 65Y05 PDFBibTeX XML
Smith, Carl H.; Velauthapillai, Mahendran On the inference of approximate programs. (English) Zbl 0727.03029 Theor. Comput. Sci. 77, No. 3, 249-266 (1990). Reviewer: A.Kreczmar (Warszawa) MSC: 03D80 68Q60 03D10 03D20 03D15 PDFBibTeX XMLCite \textit{C. H. Smith} and \textit{M. Velauthapillai}, Theor. Comput. Sci. 77, No. 3, 249--266 (1990; Zbl 0727.03029) Full Text: DOI
Gambarelli, G. A new approach for evaluating the Shapley value. (English) Zbl 0726.90101 Optimization 21, No. 3, 445-452 (1990). Reviewer: J.Legut (Wrocław) MSC: 91A12 90-08 PDFBibTeX XMLCite \textit{G. Gambarelli}, Optimization 21, No. 3, 445--452 (1990; Zbl 0726.90101) Full Text: DOI
Stefanović, L. V.; Petković, M. S. On the computational efficiency of root-finding methods with recursive corrections. (English) Zbl 0726.65049 Facta Univ., Ser. Math. Inf. 5, 115-128 (1990). Reviewer: G.Merz (Vellmar) MSC: 65H05 30C15 12Y05 PDFBibTeX XMLCite \textit{L. V. Stefanović} and \textit{M. S. Petković}, Facta Univ., Ser. Math. Inf. 5, 115--128 (1990; Zbl 0726.65049)
Labhalla, Salah; Lombardi, Henri Comparaison des différentes représentations des nombres réels du point de vue des fonctionnelles récursives. (Comparison of some representations of real numbers from the viewpoint of recursive functionals). (French) Zbl 0726.03045 C. R. Acad. Sci., Paris, Sér. I 311, No. 4, 229-234 (1990). Reviewer: P.L.Ferrari (Genova) MSC: 03F60 26E40 11A55 03D15 PDFBibTeX XMLCite \textit{S. Labhalla} and \textit{H. Lombardi}, C. R. Acad. Sci., Paris, Sér. I 311, No. 4, 229--234 (1990; Zbl 0726.03045)
Chawla, M. M.; Passi, K.; Zalik, R. A. A recursive doubling algorithm for inverting tridiagonal matrices. (English) Zbl 0724.65021 Int. J. Comput. Math. 37, No. 3-4, 213-220 (1990). Reviewer: D.Braess (Bochum) MSC: 65F05 65Y05 PDFBibTeX XMLCite \textit{M. M. Chawla} et al., Int. J. Comput. Math. 37, No. 3--4, 213--220 (1990; Zbl 0724.65021) Full Text: DOI
Plemmons, Robert J. Recursive least squares computations. (English) Zbl 0719.65029 Signal processing, scattering and operator theory, and numerical methods, Proc. Int. Symp. Math. Theory Networks Syst., MTNS, Vol. III, Amsterdam/Neth. 1989, Prog. Syst. Control Theory 5, 495-502 (1990). MSC: 65F20 65C99 65Y05 94A12 62J05 PDFBibTeX XML
Moonen, Marc; Vandewalle, Joos Recursive least squares with stabilized inverse factorization. (English) Zbl 0718.65028 Signal Process. 21, No. 1, 1-15 (1990). Reviewer: H.W.Engl (Linz) MSC: 65F20 65Y05 68Q80 PDFBibTeX XMLCite \textit{M. Moonen} and \textit{J. Vandewalle}, Signal Process. 21, No. 1, 1--15 (1990; Zbl 0718.65028) Full Text: DOI
Bevilacqua, Roberto; Romani, Francesco; Lotti, Grazia Parallel inversion of band matrices. (English) Zbl 0717.65014 Comput. Artif. Intell. 9, No. 5, 493-501 (1990). Reviewer: O.Brudaru MSC: 65F05 65Y05 65F20 65Y20 PDFBibTeX XMLCite \textit{R. Bevilacqua} et al., Comput. Artif. Intell. 9, No. 5, 493--501 (1990; Zbl 0717.65014)
Choi, B. K.; Yoo, W. S.; Lee, C. S. Matrix representation for NURB curves and surfaces. (English) Zbl 0717.65005 Comput.-Aided Des. 22, No. 4, 235-240 (1990). Reviewer: D.Cui MSC: 65D07 65D17 65D05 PDFBibTeX XMLCite \textit{B. K. Choi} et al., Comput.-Aided Des. 22, No. 4, 235--240 (1990; Zbl 0717.65005) Full Text: DOI
Asperti, Andrea Stability and computability in coherent domains. (English) Zbl 0716.03042 Inf. Comput. 86, No. 2, 115-139 (1990). Reviewer: S.P.Yukna MSC: 03D45 03D65 68Q05 03D25 68Q55 PDFBibTeX XMLCite \textit{A. Asperti}, Inf. Comput. 86, No. 2, 115--139 (1990; Zbl 0716.03042) Full Text: DOI
Shinoda, Juichi; Slaman, Theodore A. On the theory of the PTIME degrees of the recursive sets. (English) Zbl 0715.68040 J. Comput. Syst. Sci. 41, No. 3, 321-366 (1990). MSC: 68Q25 03D25 03D15 PDFBibTeX XMLCite \textit{J. Shinoda} and \textit{T. A. Slaman}, J. Comput. Syst. Sci. 41, No. 3, 321--366 (1990; Zbl 0715.68040) Full Text: DOI
Axelsson, O.; Vassilevski, P. S. Algebraic multilevel preconditioning methods. II. (English) Zbl 0715.65091 SIAM J. Numer. Anal. 27, No. 6, 1569-1590 (1990). MSC: 65N55 65F10 65N30 65F35 65N12 35J25 PDFBibTeX XMLCite \textit{O. Axelsson} and \textit{P. S. Vassilevski}, SIAM J. Numer. Anal. 27, No. 6, 1569--1590 (1990; Zbl 0715.65091) Full Text: DOI
Axelsson, O.; Eijkhout, V. Analysis of a recursive 5-point/9-point factorization method. (English) Zbl 0715.65021 Preconditioned conjugate gradient methods, Proc. Conf., Nijmegen/Neth. 1989, Lect. Notes Math. 1457, 154-173 (1990). Reviewer: D.Braess MSC: 65F10 65N22 65N30 35J25 65F35 PDFBibTeX XML
Labhalla, Salah; Lombardi, Henri Real numbers, continued fractions and complexity classes. (English) Zbl 0715.03026 Ann. Pure Appl. Logic 50, No. 1, 1-28 (1990). Reviewer: P.L.Ferrari MSC: 03F60 03D15 26E40 11A55 PDFBibTeX XMLCite \textit{S. Labhalla} and \textit{H. Lombardi}, Ann. Pure Appl. Logic 50, No. 1, 1--28 (1990; Zbl 0715.03026) Full Text: DOI
Reale, Fabio A tridiagonal solver for massively parallel computer systems. (English) Zbl 0714.65029 Parallel Comput. 16, No. 2-3, 361-368 (1990). Reviewer: D.Kershaw MSC: 65F05 65Y05 65Y10 68W15 PDFBibTeX XMLCite \textit{F. Reale}, Parallel Comput. 16, No. 2--3, 361--368 (1990; Zbl 0714.65029) Full Text: DOI
Chawla, M. M.; Passi, K.; Shivakumar, P. N. A recursive partitioning algorithm for inverting tridiagonal matrices. (English) Zbl 0711.65014 Int. J. Comput. Math. 35, No. 1-4, 153-158 (1990). Reviewer: R.P.Tewarson MSC: 65F05 65L12 65Y05 34B05 PDFBibTeX XMLCite \textit{M. M. Chawla} et al., Int. J. Comput. Math. 35, No. 1--4, 153--158 (1990; Zbl 0711.65014) Full Text: DOI
Robinson, Derek J. S. Deciding if an automorphism of an infinite soluble group is inner. (English) Zbl 0711.20021 Glasg. Math. J. 32, No. 3, 265-272 (1990). Reviewer: F.Cannonito MSC: 20F10 20F16 20F05 20E36 20-04 68W30 PDFBibTeX XMLCite \textit{D. J. S. Robinson}, Glasg. Math. J. 32, No. 3, 265--272 (1990; Zbl 0711.20021) Full Text: DOI
Grigorieff, Serge Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n)). (English) Zbl 0708.03015 J. Symb. Log. 55, No. 1, 260-276 (1990). Reviewer: Tao Renji MSC: 03D15 68Q15 PDFBibTeX XMLCite \textit{S. Grigorieff}, J. Symb. Log. 55, No. 1, 260--276 (1990; Zbl 0708.03015) Full Text: DOI
Ferreira, Fernando Polynomial time computable arithmetic. (English) Zbl 0707.03032 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 137-156 (1990). Reviewer: M.Tetruashvili MSC: 03D15 03F30 PDFBibTeX XML
Gu, Guoxiang; Lee, E. Bruce A numerical algorithm for stability testing of 2-D recursive digital filters. (English) Zbl 0706.65065 IEEE Trans. Circuits Syst. 37, No. 1, 135-138 (1990). Reviewer: E.Eitelberg MSC: 65K10 65H05 93B55 PDFBibTeX XMLCite \textit{G. Gu} and \textit{E. B. Lee}, IEEE Trans. Circuits Syst. 37, No. 1, 135--138 (1990; Zbl 0706.65065) Full Text: DOI
Zhu, Yunmin Convergence speed and asymptotic distribution of a parallel Robbins-Monro method. (English) Zbl 0705.65108 J. Comput. Math. 8, No. 1, 45-54 (1990). Reviewer: N.Bouleau MSC: 65C99 62L20 PDFBibTeX XMLCite \textit{Y. Zhu}, J. Comput. Math. 8, No. 1, 45--54 (1990; Zbl 0705.65108)
Nerode, A.; Remmel, J. B. Polynomially isolated sets. (English) Zbl 0705.03024 Recursion theory week, Proc. Conf., Oberwolfach/FRG 1989, Lect. Notes Math. 1432, 323-362 (1990). Reviewer: L.Harkleroad MSC: 03D50 03D15 PDFBibTeX XML
Gentle, James E. Computer implementation of random number generators. (English) Zbl 0703.65008 J. Comput. Appl. Math. 31, No. 1, 119-125 (1990). Reviewer: S.Loukas MSC: 65C10 65Y05 PDFBibTeX XMLCite \textit{J. E. Gentle}, J. Comput. Appl. Math. 31, No. 1, 119--125 (1990; Zbl 0703.65008) Full Text: DOI
Droste, Manfred; Göbel, Rüdiger Non-deterministic information systems and their domains. (English) Zbl 0701.68074 Theor. Comput. Sci. 75, No. 3, 289-309 (1990). MSC: 68Q55 68Q10 06A06 PDFBibTeX XMLCite \textit{M. Droste} and \textit{R. Göbel}, Theor. Comput. Sci. 75, No. 3, 289--309 (1990; Zbl 0701.68074) Full Text: DOI
Casas, Rafael; Fernández-Camacho, María-Inés; Steyaert, Jean- Marc Algebraic simplification in computer algebra: an analysis of bottom-up algorithms. (English) Zbl 0701.68045 Theor. Comput. Sci. 74, No. 3, 273-298 (1990). MSC: 68Q25 68W30 PDFBibTeX XMLCite \textit{R. Casas} et al., Theor. Comput. Sci. 74, No. 3, 273--298 (1990; Zbl 0701.68045) Full Text: DOI
Nerode, A.; Remmel, J. B. Polynomial time equivalence types. (English) Zbl 0701.03017 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 221-249 (1990). Reviewer: R.Downey MSC: 03D15 03D50 68Q15 PDFBibTeX XML
Goldman, R. N. Recursive triangles. (English) Zbl 0698.65010 Computation of curves and surfaces, Proc. NATO ASI, Puerto de la Cruz, Tenerife/Spain 1989, NATO ASI Ser., Ser. C 307, 27-72 (1990). Reviewer: M.Tasche MSC: 65D07 65D05 41A05 41A15 PDFBibTeX XML
Anderlini, Luca Some notes on Church’s thesis and the theory of games. (English) Zbl 0697.68055 Theory Decis. 29, No. 1, 19-52 (1990). MSC: 68Q05 91A40 03D20 03D10 03D60 PDFBibTeX XMLCite \textit{L. Anderlini}, Theory Decis. 29, No. 1, 19--52 (1990; Zbl 0697.68055) Full Text: DOI
Buchholz, Wilfried; Sieg, Wilfried A note on polynomial time computable arithmetic. (English) Zbl 0696.03032 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 51-55 (1990). Reviewer: R.Murawski MSC: 03F30 03D15 PDFBibTeX XML
Fulk, Mark A. A note on A.E. h-complex functions. (English) Zbl 0694.68031 J. Comput. Syst. Sci. 40, No. 3, 444-449 (1990). MSC: 68Q25 03D20 03D15 PDFBibTeX XMLCite \textit{M. A. Fulk}, J. Comput. Syst. Sci. 40, No. 3, 444--449 (1990; Zbl 0694.68031) Full Text: DOI
Wehage, Roger A. Symbolic uncoupling and efficient solution of tree-structured linear equation systems. (English) Zbl 0693.65024 Applied mathematics and computing, Trans. 7th Army Conf., West Point/NY (USA) 1989, ARO Rep. 90-1, 491-526 (1990). Reviewer: P.C.Hansen MSC: 65F05 65F50 65Y05 PDFBibTeX XML
Leivant, Daniel Computationally based set existence principles. (English) Zbl 0693.03037 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 197-211 (1990). MSC: 03F20 03F30 03F50 03D15 03D20 PDFBibTeX XML
Blum, L.; Shub, M.; Smale, S. On a theory of computation over the real numbers; NP completeness, recursive functions and universal machines. (English) Zbl 0691.68034 Workshop on dynamical systems, Proc. Conf., Trieste/Italy 1988, Pitman Res. Notes Math. Ser. 221, 23-52 (1990). MSC: 68Q25 03D10 03D15 03D20 03D80 68Q05 68Q17 PDFBibTeX XML
Calude, Cristian; Sântean, Lila On a theorem of Günter Asser. (English) Zbl 0687.03019 Z. Math. Logik Grundlagen Math. 36, No. 2, 143-147 (1990). Reviewer: C.Calude MSC: 03D15 03D20 PDFBibTeX XMLCite \textit{C. Calude} and \textit{L. Sântean}, Z. Math. Logik Grundlagen Math. 36, No. 2, 143--147 (1990; Zbl 0687.03019) Full Text: DOI
Sazonov, V. Yu. An equivalence between polynomial constructivity of Markov’s principle and the equality \(P=NP\). (English) Zbl 0794.03055 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 351-360 (1990). Reviewer: H.B.Marandjian (Erevan) MSC: 03D15 03F15 68Q15 PDFBibTeX XMLCite \textit{V. Yu. Sazonov}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 351--360 (1990; Zbl 0794.03055)
Wainer, S. S. Hierarchies of provably computable functions. (English) Zbl 0781.03029 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 211-220 (1990). Reviewer: C.Calude (Auckland) MSC: 03D20 03D55 PDFBibTeX XMLCite \textit{S. S. Wainer}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 211--220 (1990; Zbl 0781.03029)
Goerdt, Andreas; Seidl, Helmut Characterizing complexity classes by higher type primitive recursive definitions. II. (English) Zbl 0743.03030 Aspects and prospects of theoretical computer science, Proc. 6th Int. Meet. Young Comput. Sci., Smolenice/Czech. 1990, Lect. Notes Comput. Sci. 464, 148-157 (1990). MSC: 03D15 68Q15 03D65 PDFBibTeX XMLCite \textit{A. Goerdt} and \textit{H. Seidl}, Lect. Notes Comput. Sci. None, 148--157 (1990; Zbl 0743.03030)
Ambos-Spies, Klaus; Homer, Steven; Soare, Robert I. Minimal pairs and complete problems. (English) Zbl 0744.03045 Theoretical aspects of computer science, Proc. 7th Annu. Symp., STACS ’90, Rouen/Fr. 1990, Lect. Notes Comput. Sci. 415, 24-36 (1990). Reviewer: G.L.McColm (Tampa) MSC: 03D30 03D15 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Lect. Notes Comput. Sci. None, 24--36 (1990; Zbl 0744.03045)
Jain, Sanjay; Sharma, Arun Language learning by a ”team”. (English) Zbl 0766.68111 Automata, languages and programming, Proc. 17th Int. Colloq., Warwick/GB 1990, Lect. Notes Comput. Sci. 443, 153-166 (1990). MSC: 68T05 68Q05 68Q15 PDFBibTeX XMLCite \textit{S. Jain} and \textit{A. Sharma}, Lect. Notes Comput. Sci. 443, 153--166 (1990; Zbl 0766.68111)
Leivant, Daniel Subrecursion and lambda representation over free algebras. Preliminary summary. (English) Zbl 0772.03020 Feasible mathematics, Proc. Math. Sci. Inst. Workshop, Ithaca/NY (USA) 1989, Prog. Comput. Sci. Appl. Log. 9, 281-291 (1990). MSC: 03D20 03B40 68Q05 03D80 68W30 PDFBibTeX XMLCite \textit{D. Leivant}, Prog. Comput. Sci. Appl. Log. 9, 281--291 (1990; Zbl 0772.03020)
Hoover, H. James Computational models for feasible real analysis. (English) Zbl 0764.03025 Feasible mathematics, Proc. Math. Sci. Inst. Workshop, Ithaca/NY (USA) 1989, Prog. Comput. Sci. Appl. Log. 9, 221-237 (1990). MSC: 03F60 68Q05 PDFBibTeX XMLCite \textit{H. J. Hoover}, Prog. Comput. Sci. Appl. Log. 9, 221--237 (1990; Zbl 0764.03025)
Wette, Elisabeth Sequential representation of primitive recursive functions, and complexity classes. (English) Zbl 0925.03196 Börger, E. (ed.) et al., CSL ’89. 3rd Workshop on Computer science logic, Kaiserslautern, Germany, October 2–6, 1989. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 440, 422-437 (1990). MSC: 03D20 03D15 PDFBibTeX XMLCite \textit{E. Wette}, Lect. Notes Comput. Sci. 440, 422--437 (1990; Zbl 0925.03196)
Poppe, G. P. M.; Wijers, C. M. J. Algorithm 680: Evaluation of the complex error function. (English) Zbl 0900.65025 ACM Trans. Math. Softw. 16, No. 1, 47 (1990). MSC: 65D20 33B20 PDFBibTeX XMLCite \textit{G. P. M. Poppe} and \textit{C. M. J. Wijers}, ACM Trans. Math. Softw. 16, No. 1, 47 (1990; Zbl 0900.65025) Full Text: DOI Link Link
Poppe, G. P. M.; Wijers, C. M. J. More efficient computation of the complex error function. (English) Zbl 0900.65026 ACM Trans. Math. Softw. 16, No. 1, 38-46 (1990). MSC: 65D20 33B20 PDFBibTeX XMLCite \textit{G. P. M. Poppe} and \textit{C. M. J. Wijers}, ACM Trans. Math. Softw. 16, No. 1, 38--46 (1990; Zbl 0900.65026) Full Text: DOI Link Link
Anisimov, A. V. Recursive information converters. (Russian) Zbl 0796.68114 Diskretn. Mat. 1, No. 3, 3-18 (1989). MSC: 68Q25 03D80 68N01 68Q10 PDFBibTeX XMLCite \textit{A. V. Anisimov}, Diskretn. Mat. 1, No. 3, 3--18 (1989; Zbl 0796.68114)
Brookshear, J. Glenn Theory of computation. Formal languages, automata and complexity. (English) Zbl 0678.68001 Amsterdam etc.: Addison-Wesley Verlag; Redwood City, CA: Benjamin/Cummings Publishing Company, Inc. 550 p. (1989). Reviewer: N.Curteanu MSC: 68-01 68Q45 03D60 68Q25 03D15 PDFBibTeX XMLCite \textit{J. G. Brookshear}, Theory of computation. Formal languages, automata and complexity. Redwood City, CA: Benjamin/Cummings Publishing Company (1989; Zbl 0678.68001)
Lisovik, L. P. On properties of \(\Delta\)-functions. (Russian) Zbl 0752.03032 Vychisl. Prikl. Mat., Kiev 68, 129-136 (1989). Reviewer: P.Kruszyński (Delft) MSC: 03F60 46S30 68Q05 26E40 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Vychisl. Prikl. Mat. 68, 129--136 (1989; Zbl 0752.03032)
Lisovik, L. P. Logical properties of partial continuous functions. (Russian) Zbl 0721.03045 Tr. Inst. Mat. 12, 39-72 (1989). Reviewer: G.B.Marandzhyan (Erevan) MSC: 03F60 68Q05 03D20 PDFBibTeX XML
Jones, C.; Plotkin, G. D. A probabilistic powerdomain of evaluations. (English) Zbl 0716.06003 Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 186-195 (1989). MSC: 06B35 68Q55 68Q10 03B40 PDFBibTeX XML Full Text: Link
Goerdt, Andreas Characterizing complexity classes by higher type primitive recursive definitions. (English) Zbl 0716.03038 Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 364-374 (1989). MSC: 03D15 68Q15 03D65 PDFBibTeX XML
Beigel, Richard; Gasarch, William I. On the complexity of finding the chromatic number of a recursive graph. II: The unbounded case. (English) Zbl 0711.03013 Ann. Pure Appl. Logic 45, No. 3, 227-246 (1989). Reviewer: R.Beigel MSC: 03D15 05C15 PDFBibTeX XMLCite \textit{R. Beigel} and \textit{W. I. Gasarch}, Ann. Pure Appl. Logic 45, No. 3, 227--246 (1989; Zbl 0711.03013) Full Text: DOI
Nerode, A.; Remmel, J. B. Complexity-theoretic algebra. II: Boolean algebras. (English) Zbl 0703.03023 Ann. Pure Appl. Logic 44, No. 1-2, 71-99 (1989). Reviewer: U.Schöning MSC: 03D45 03D15 03C57 68Q15 PDFBibTeX XMLCite \textit{A. Nerode} and \textit{J. B. Remmel}, Ann. Pure Appl. Logic 44, No. 1--2, 71--99 (1989; Zbl 0703.03023) Full Text: DOI
Lafont, Yves Primitive recursive categories and machines. (English) Zbl 0702.18003 Diagrammes 22, 7-13 (1989). Reviewer: C.Calude MSC: 18B99 03D20 68Q05 18A15 03D75 68N01 PDFBibTeX XMLCite \textit{Y. Lafont}, Diagrammes 22, 7--13 (1989; Zbl 0702.18003) Full Text: EuDML
Moschovakis, Yiannis N. The formal language of recursion. (English) Zbl 0702.03023 J. Symb. Log. 54, No. 4, 1216-1252 (1989). Reviewer: G.Mints MSC: 03D75 68Q05 PDFBibTeX XMLCite \textit{Y. N. Moschovakis}, J. Symb. Log. 54, No. 4, 1216--1252 (1989; Zbl 0702.03023) Full Text: DOI
Wette, Elisabeth Sequentielle Darstellungen primitiv rekursiver Funktionen und Komplexitätsklassen. (Sequential representations of primitive recursive functions and complexity classes). (German) Zbl 0693.03024 Duisburg: Univ. (GHS) Duisburg, FB Math., Diss. 206 S. (1989). Reviewer: U.Schöning MSC: 03D20 03D15 68Q25 PDFBibTeX XML
Slaman, Theodore A. On bounded time Turing reducibility on the recursive sets. (English) Zbl 0691.03025 Logic Colloq. ’88, Proc. Colloq., Padova/Italy 1988, Stud. Logic Found. Math. 127, 111-112 (1989). MSC: 03D30 03D15 PDFBibTeX XML
Horváth, Sándor A definition and a generating system for elementary sequence functions. (English) Zbl 0687.03020 J. Inf. Process. Cybern. 25, No. 11-12, 603-606 (1989). Reviewer: M.Zimand MSC: 03D20 03D15 68Q25 PDFBibTeX XMLCite \textit{S. Horváth}, J. Inf. Process. Cybern. 25, No. 11--12, 603--606 (1989; Zbl 0687.03020)
Beigel, Richard; Gasarch, William I. On the complexity of finding the chromatic number of a recursive graph. I: The bounded case. (English) Zbl 0685.03033 Ann. Pure Appl. Logic 45, No. 1, 1-38 (1989). Reviewer: R.Beigel MSC: 03D15 05C15 PDFBibTeX XMLCite \textit{R. Beigel} and \textit{W. I. Gasarch}, Ann. Pure Appl. Logic 45, No. 1, 1--38 (1989; Zbl 0685.03033) Full Text: DOI
Rubel, Lee A. Digital simulation of analog computation and Church’s thesis. (English) Zbl 0683.03040 J. Symb. Log. 54, No. 3, 1011-1017 (1989). Reviewer: G.Mints MSC: 03F60 12H20 PDFBibTeX XMLCite \textit{L. A. Rubel}, J. Symb. Log. 54, No. 3, 1011--1017 (1989; Zbl 0683.03040) Full Text: DOI
Blum, Lenore; Shub, Mike; Smale, Steve On a theory of computation and complexity over the real numbers: NP- completeness, recursive functions and universal machines. (English) Zbl 0681.03020 Bull. Am. Math. Soc., New Ser. 21, No. 1, 1-46 (1989). Reviewer: S.Yukna MSC: 03D15 03D10 03D20 03D80 68Q05 68Q17 68Q25 PDFBibTeX XMLCite \textit{L. Blum} et al., Bull. Am. Math. Soc., New Ser. 21, No. 1, 1--46 (1989; Zbl 0681.03020) Full Text: DOI
Eğecioğlu, Ömer; Koc, Cetin K.; Laub, Alan J. A recursive doubling algorithm for solution of tridiagonal systems on hypercube multiprocessors. (English) Zbl 0679.65018 J. Comput. Appl. Math. 27, No. 1-2, 95-108 (1989). Reviewer: R.P.Tewarson MSC: 65F05 65Y05 PDFBibTeX XMLCite \textit{Ö. Eğecioğlu} et al., J. Comput. Appl. Math. 27, No. 1--2, 95--108 (1989; Zbl 0679.65018) Full Text: DOI
Charlier, J.-P.; Van Dooren, P. A systolic algorithm for Riccati and Lyapunov equations. (English) Zbl 0675.65032 Math. Control Signals Syst. 2, No. 2, 109-136 (1989). Reviewer: Petko Hr.Petkov MSC: 65F30 93B50 15A24 65Y05 PDFBibTeX XMLCite \textit{J. P. Charlier} and \textit{P. Van Dooren}, Math. Control Signals Syst. 2, No. 2, 109--136 (1989; Zbl 0675.65032) Full Text: DOI
Jan, Jiří Recursive algorithms for solving systems of nonlinear equations. (English) Zbl 0674.65026 Apl. Mat. 34, No. 1, 33-45 (1989). Reviewer: J.Hřebíček MSC: 65H10 PDFBibTeX XMLCite \textit{J. Jan}, Apl. Mat. 34, No. 1, 33--45 (1989; Zbl 0674.65026) Full Text: EuDML
Calude, C.; Chitescu, I. Upper limitation of Kolmogorov complexity and universal P. Martin-Löf tests. (English) Zbl 0673.68028 J. Comput. Math. 7, No. 1, 61-70 (1989). Reviewer: A.Leitsch MSC: 68Q25 03D20 03D15 PDFBibTeX XMLCite \textit{C. Calude} and \textit{I. Chitescu}, J. Comput. Math. 7, No. 1, 61--70 (1989; Zbl 0673.68028)
Ambos-Spies, Klaus On the relative complexity of hard problems for complexity classes without complete problems. (English) Zbl 0659.03022 Theor. Comput. Sci. 63, No. 1, 43-61 (1989). Reviewer: D.Yu.Grigor’ev MSC: 03D15 68Q25 PDFBibTeX XMLCite \textit{K. Ambos-Spies}, Theor. Comput. Sci. 63, No. 1, 43--61 (1989; Zbl 0659.03022) Full Text: DOI
Vretare, L. Character calculations for semisimple Lie algebras. (English) Zbl 0658.17005 J. Math. Phys. 30, No. 1, 18-22 (1989). Reviewer: L. Vretare MSC: 17B10 17-04 17B20 PDFBibTeX XMLCite \textit{L. Vretare}, J. Math. Phys. 30, No. 1, 18--22 (1989; Zbl 0658.17005) Full Text: DOI
Calude, Cristian; Marcus, Solomon Sudan’s recursive but not primitive recursive function: A retrospective look. (English) Zbl 0741.03020 An. Univ. Bucur., Mat. 38, No. 2, 25-30 (1989). Reviewer: C.Calude (Bucureşti) MSC: 03D20 03D15 01A60 03-03 PDFBibTeX XMLCite \textit{C. Calude} and \textit{S. Marcus}, An. Univ. Bucur., Mat. 38, No. 2, 25--30 (1989; Zbl 0741.03020)
Spaan, Edith; Torenvliet, Leen; van Emde Boas, Peter Nondeterminism, fairness and a fundamental analogy. (English) Zbl 1030.68538 Bull. EATCS 37, 186-193 (1989). MSC: 68N17 03D20 68Q10 03D10 PDFBibTeX XMLCite \textit{E. Spaan} et al., Bull. EATCS 37, 186--193 (1989; Zbl 1030.68538)
Weihrauch, Klaus Constructivity, computability, and computational complexity in analysis. (English) Zbl 0751.03031 Fundamentals of computation theory, Proc. Int. Conf., FCT ’89, Szeged/Hung. 1989, Lect. Notes Comput. Sci. 380, 480-493 (1989). Reviewer: D.Bridges (Hamilton / New Zealand) MSC: 03F60 68Q25 03D15 PDFBibTeX XMLCite \textit{K. Weihrauch}, Lect. Notes Comput. Sci. None, 480--493 (1989; Zbl 0751.03031)
Ribbens, Calvin J. A fast adaptive grid scheme for elliptic partial differential equations. (English) Zbl 0900.65336 ACM Trans. Math. Softw. 15, No. 3, 179-197 (1989). MSC: 65N55 65N06 65Y05 35J25 PDFBibTeX XMLCite \textit{C. J. Ribbens}, ACM Trans. Math. Softw. 15, No. 3, 179--197 (1989; Zbl 0900.65336) Full Text: DOI Link
Grigorieff, Serge Algorithmic complexity in analysis. (Complexité algorithmique en analyse.) (French) Zbl 0795.68072 Sémin. Anal., Univ. Blaise Pascal 1987-1988, No. 15, 20 p. (1988). MSC: 68Q15 03D15 26E40 03F60 68Q25 68Q30 PDFBibTeX XML
Hennessy, Matthew Algebraic theory of processes. (English) Zbl 0744.68047 MIT Press Series in the Foundations of Computing. Cambridge, MA etc.: MIT Press. IX, 272 p. (1988). Reviewer: Preface MSC: 68Q10 68-02 68Q60 PDFBibTeX XMLCite \textit{M. Hennessy}, Algebraic theory of processes. Cambridge, MA etc.: MIT Press (1988; Zbl 0744.68047)
Fox, Geoffrey C. A graphical approach to load balancing and sparse matrix vector multiplication on the hypercube. (English) Zbl 0702.65045 Numerical algorithms for modern parallel computer architectures, Proc. Workshop IMA Progr., Minneapolis/MN (USA) 1986-87, IMA Vol. Math. Appl. 13, 37-61 (1988). Reviewer: W.Schönauer MSC: 65F30 65Y05 PDFBibTeX XML
Babushkina, L. V.; Kerimov, M. K.; Nikitin, A. I. Algorithms for evaluating spherical Bessel functions in the complex domain. (English. Russian original) Zbl 0698.65013 U.S.S.R. Comput. Math. Math. Phys. 28, No. 6, 122-128 (1988); translation from Zh. Vychisl. Mat. Mat. Fiz. 28, No. 12, 1779-1788 (1988). MSC: 65D20 33C10 PDFBibTeX XMLCite \textit{L. V. Babushkina} et al., U.S.S.R. Comput. Math. Math. Phys. 28, No. 6, 122--128 (1988; Zbl 0698.65013); translation from Zh. Vychisl. Mat. Mat. Fiz. 28, No. 12, 1779--1788 (1988) Full Text: DOI
Stetter, Franz Grundbegriffe der theoretischen Informatik. (Fundamentals of theoretical computer science.). (German) Zbl 0693.68004 Berlin (FRG): Springer-Verlag. viii, 233 S. DM 44.00 (1988). Reviewer: U.Klemm MSC: 68-01 68Q45 68Q25 68Q05 03D60 PDFBibTeX XML
Drauschke, G.; Tasche, M. Exact deconvolution using number-theoretic transforms. (English) Zbl 0677.65145 Comput. Math. Appl. 15, No. 9, 757-768 (1988). Reviewer: V.Veselý MSC: 65T40 65F30 65K10 93B15 PDFBibTeX XMLCite \textit{G. Drauschke} and \textit{M. Tasche}, Comput. Math. Appl. 15, No. 9, 757--768 (1988; Zbl 0677.65145) Full Text: DOI
Chen, Zhixiang; Huang, Wenqi On the recursive structure of complexity classes. (Chinese. English summary) Zbl 0677.03028 J., Huazhong (Cent. China) Univ. Sci. Technol. 16, No. 6, 15-20 (1988). MSC: 03D15 68Q25 PDFBibTeX XML
Fulk, Mark A. Saving the phenomena: Requirements that inductive inference machines not contradict known data. (English) Zbl 0664.68086 Inf. Comput. 79, No. 3, 193-209 (1988). MSC: 68T05 03D20 03D10 68Q05 PDFBibTeX XMLCite \textit{M. A. Fulk}, Inf. Comput. 79, No. 3, 193--209 (1988; Zbl 0664.68086) Full Text: DOI
Ball, A. A.; Storry, D. J. T. Conditions for tangent plane continuity over recursively generated B- spline surfaces. (English) Zbl 0663.65012 ACM Trans. Graph. 7, No. 2, 83-102 (1988). Reviewer: J.Hřebiček MSC: 65D07 41A15 51N05 65D15 PDFBibTeX XMLCite \textit{A. A. Ball} and \textit{D. J. T. Storry}, ACM Trans. Graph. 7, No. 2, 83--102 (1988; Zbl 0663.65012) Full Text: DOI
Babushkina, L. V.; Kerimov, M. K.; Nikitin, A. I. Algorithms for computing spherical Bessel functions in the complex domain. (Russian) Zbl 0662.65020 Zh. Vychisl. Mat. Mat. Fiz. 28, No. 12, 1779-1788 (1988). Reviewer: S.Hitotumatu MSC: 65D20 33C10 PDFBibTeX XMLCite \textit{L. V. Babushkina} et al., Zh. Vychisl. Mat. Mat. Fiz. 28, No. 12, 1779--1788 (1988; Zbl 0662.65020)
Thompson, E. A. Two-locus and three-locus gene identity by descent in pedigrees. (English) Zbl 0659.92010 IMA J. Math. Appl. Med. Biol. 5, No. 4, 261-279 (1988). MSC: 92D10 92-08 PDFBibTeX XMLCite \textit{E. A. Thompson}, IMA J. Math. Appl. Med. Biol. 5, No. 4, 261--279 (1988; Zbl 0659.92010)
Saccà, Domenico; Zaniolo, Carlo The generalized counting method for recursive logic queries. (English) Zbl 0658.68118 Theor. Comput. Sci. 62, No. 1-2, 187-220 (1988). MSC: 68P20 68T15 PDFBibTeX XMLCite \textit{D. Saccà} and \textit{C. Zaniolo}, Theor. Comput. Sci. 62, No. 1--2, 187--220 (1988; Zbl 0658.68118) Full Text: DOI
Guo, Lei; Xia, Lige; Liu, Yi Recursive algorithm for the computation of the \(H^{\infty}\)-norm of polynomials. (English) Zbl 0655.93030 IEEE Trans. Autom. Control 33, No. 12, 1154-1157 (1988). MSC: 93B40 65F35 30D55 46E15 PDFBibTeX XMLCite \textit{L. Guo} et al., IEEE Trans. Autom. Control 33, No. 12, 1154--1157 (1988; Zbl 0655.93030) Full Text: DOI
Meer, Peter Efficient computation of two-dimensional Gaussian windows. (English) Zbl 0654.65014 Pattern Recognit. Lett. 7, No. 4, 227-229 (1988). Reviewer: G.Ya.Seliger MSC: 65D20 33B20 65C99 65Q05 65K10 PDFBibTeX XMLCite \textit{P. Meer}, Pattern Recognit. Lett. 7, No. 4, 227--229 (1988; Zbl 0654.65014) Full Text: DOI
Chiccoli, C.; Lorenzutta, S.; Maino, G. On the evaluation of generalized exponential integrals \(E_{\nu}(x)\). (English) Zbl 0653.65015 J. Comput. Phys. 78, No. 2, 278-287 (1988). Reviewer: S.Hitotumatu MSC: 65D20 65A05 33B15 PDFBibTeX XMLCite \textit{C. Chiccoli} et al., J. Comput. Phys. 78, No. 2, 278--287 (1988; Zbl 0653.65015) Full Text: DOI
Piotrów, Marek On complexity of counting. (English) Zbl 0652.68057 Mathematical foundations of computer science 1988, Proc. 13th Symp., Carlsbad/Czech. 1988, Lect. Notes Comput. Sci. 324, 472-482 (1988). MSC: 68Q25 68Q05 PDFBibTeX XML
Tiuryn, Jerzy; Urzyczyn, Paweł Some relationships between logics of programs and complexity theory. (English) Zbl 0652.03028 Theor. Comput. Sci. 60, No. 1, 83-108 (1988). Reviewer: C.Calude MSC: 03D15 03B70 68Q25 PDFBibTeX XMLCite \textit{J. Tiuryn} and \textit{P. Urzyczyn}, Theor. Comput. Sci. 60, No. 1, 83--108 (1988; Zbl 0652.03028) Full Text: DOI
Smith, Carl H. A note on arbitrarily complex recursive functions. (English) Zbl 0651.03032 Notre Dame J. Formal Logic 29, No. 2, 198-207 (1988). Reviewer: Tao Renji MSC: 03D20 03D15 PDFBibTeX XMLCite \textit{C. H. Smith}, Notre Dame J. Formal Logic 29, No. 2, 198--207 (1988; Zbl 0651.03032) Full Text: DOI
Grossman, Jerrold W.; Zeitman, R. Suzanne An inherently iterative computation of Ackermann’s function. (English) Zbl 0651.03031 Theor. Comput. Sci. 57, No. 2-3, 327-330 (1988). Reviewer: C.Calude MSC: 03D15 03D20 03-04 PDFBibTeX XMLCite \textit{J. W. Grossman} and \textit{R. S. Zeitman}, Theor. Comput. Sci. 57, No. 2--3, 327--330 (1988; Zbl 0651.03031) Full Text: DOI
Štěpánková, Olga; Štěpánek, Petr A complete class of restricted logic programs. (English) Zbl 0647.68051 Logic colloq. ’86, Proc. Colloq., Hull/U.K. 1986, Stud. Logic Found. Math. 124, 319-324 (1988). MSC: 03D60 68T15 68Q60 03D20 PDFBibTeX XML
Oberschelp, Arnold; Schmidt-Göttsch, Karsten; Todt, Günter Castor quadruplorum. (English) Zbl 0646.03034 Arch. Math. Logic 27, No. 1, 35-44 (1988). Reviewer: A.V.Anisimov MSC: 03D10 68Q05 03D20 PDFBibTeX XMLCite \textit{A. Oberschelp} et al., Arch. Math. Logic 27, No. 1, 35--44 (1988; Zbl 0646.03034) Full Text: DOI
Hara, Kei; Yamamoto, Testsuhiko; Ougita, Kazuyuki Parameter identification of distributed parameter systems using spline functions. (English) Zbl 0645.93064 Int. J. Syst. Sci. 19, No. 1, 49-64 (1988). Reviewer: S.Banks MSC: 93E12 93C20 93E14 65D07 93E25 PDFBibTeX XMLCite \textit{K. Hara} et al., Int. J. Syst. Sci. 19, No. 1, 49--64 (1988; Zbl 0645.93064) Full Text: DOI
Szymanski, Boleslaw K.; Prywes, Noah S. Efficient handling of data structures in definitional languages. (English) Zbl 0644.68029 Sci. Comput. Program. 10, No. 3, 221-245 (1988). MSC: 68P05 03D60 PDFBibTeX XMLCite \textit{B. K. Szymanski} and \textit{N. S. Prywes}, Sci. Comput. Program. 10, No. 3, 221--245 (1988; Zbl 0644.68029) Full Text: DOI