Szepietowski, Andrzej Weak and strong one-way space complexity classes. (English) Zbl 1339.68100 Inf. Process. Lett. 68, No. 6, 299-302 (1998). MSC: 68Q15 68Q05 PDFBibTeX XMLCite \textit{A. Szepietowski}, Inf. Process. Lett. 68, No. 6, 299--302 (1998; Zbl 1339.68100) Full Text: DOI Link
Chinchilla, Eugenio A model of \(\widehat{R}^2_3\) inside a subexponential time resource. (English) Zbl 0967.03049 Notre Dame J. Formal Logic 39, No. 3, 307-324 (1998). MSC: 03F30 03D15 03C62 03H15 68Q15 03D10 PDFBibTeX XMLCite \textit{E. Chinchilla}, Notre Dame J. Formal Logic 39, No. 3, 307--324 (1998; Zbl 0967.03049) Full Text: DOI
Gefwert, Christoffer Wittgenstein on mathematics, minds and mental machines. (English) Zbl 0968.03003 Avebury Series in Philosophy. Aldershot: Ashgate. xx, 349 p. (1998). Reviewer: Volker Peckhaus (Erlangen) MSC: 03-03 00A30 01A60 03A05 03D10 03-02 PDFBibTeX XMLCite \textit{C. Gefwert}, Wittgenstein on mathematics, minds and mental machines. Aldershot: Ashgate (1998; Zbl 0968.03003)
Chaitin, G. J. The limits of mathematics. (English) Zbl 0955.68046 Maurer, Hermann (ed.) et al., J.UCS. Journal of Universal Computer Science. Vol. 2, 1996. Annual print and CD-ROM archive edition. With 1 CD-ROM (Windows and UNIX) containing full archive, 1994-1996. Berlin: Springer. 270-305 (1998). MSC: 68Q05 PDFBibTeX XMLCite \textit{G. J. Chaitin}, in: J. UCS. Journal of Universal Computer Science. Vol. 2, 1996. Annual print and CD-ROM archive edition. With 1 CD-ROM (Windows and UNIX) containing full archive, 1994--1996. Berlin: Springer. 270--305 (1998; Zbl 0955.68046)
Ganova, R. V. Oracle programming in a high-level language. (Russian) Zbl 0924.03066 Mat. Tr. 1, No. 1, 29-53 (1998). Reviewer: S.P.Odintsov (Novosibirsk) MSC: 03D10 68Q05 03D60 PDFBibTeX XMLCite \textit{R. V. Ganova}, Mat. Tr. 1, No. 1, 29--53 (1998; Zbl 0924.03066)
Ganova, R. V. Oracle programming in a higher level language. (English) Zbl 0924.03067 Sib. Adv. Math. 8, No. 2, 49-69 (1998). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03D10 68Q05 03D60 PDFBibTeX XMLCite \textit{R. V. Ganova}, Sib. Adv. Math. 8, No. 2, 49--69 (1998; Zbl 0924.03067)
Czech, Zbigniew J.; Mikanik, Wojciech Randomized PRAM simulation. (English) Zbl 0930.68058 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 36, No. 4, 317-336 (1998). MSC: 68Q05 PDFBibTeX XMLCite \textit{Z. J. Czech} and \textit{W. Mikanik}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 36, No. 4, 317--336 (1998; Zbl 0930.68058)
Watrous, John Relationships between quantum and classical space-bounded complexity classes. (English) Zbl 0935.68043 Thirteenth annual IEEE conference on Computational complexity. Proceedings of the conference held in Buffalo, NY, USA, June 15-18, 1998. Los Alamitos, CA: IEEE Computer Society. 210-227 (1998). MSC: 68Q15 68Q05 PDFBibTeX XMLCite \textit{J. Watrous}, in: Thirteenth annual IEEE conference on Computational complexity. Proceedings of the conference held in Buffalo, NY, USA, June 15--18, 1998. Los Alamitos, CA: IEEE Computer Society. 210--227 (1998; Zbl 0935.68043)
Simon, Herbert A.; Eisenstadt, Stuart A. Human and machine interpretation of expressions in formal systems. (English) Zbl 0932.03005 Synthese 116, No. 3, 439-461 (1998). MSC: 03A05 68T01 03B35 03F40 03D10 00A35 91E10 PDFBibTeX XMLCite \textit{H. A. Simon} and \textit{S. A. Eisenstadt}, Synthese 116, No. 3, 439--461 (1998; Zbl 0932.03005) Full Text: DOI
Mihara, Takashi; Sung, Shao Chin A quantum polynomial time algorithm in worst case for Simon’s problem. (English) Zbl 0930.68059 Chwa, Kyung-Yong (ed.) et al., Algorithms and computation. 9th international symposium, ISAAC ’98. Taejon, Korea, December 14–16, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1533, 229-236 (1998). MSC: 68Q05 68Q25 PDFBibTeX XMLCite \textit{T. Mihara} and \textit{S. C. Sung}, Lect. Notes Comput. Sci. 1533, 229--236 (1998; Zbl 0930.68059)
Woodin, W. Hugh The Tower of Hanoi. (English) Zbl 0937.03002 Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13-20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 329-351 (1998). Reviewer: B.M.Schein (Fayetteville) MSC: 03A05 00A30 03E35 PDFBibTeX XMLCite \textit{W. H. Woodin}, in: Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13--20, 1995. Oxford: Clarendon Press. 329--351 (1998; Zbl 0937.03002)
Meyer, Léa Comparing the power of probabilistic learning and oracle identification under monotonicity constraints. (English) Zbl 0929.03048 Richter, Michael M. (ed.) et al., Algorithmic learning theory. 9th international conference, ALT ’98, Otzenhausen, Germany, October 8–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1501, 306-320 (1998). MSC: 03D80 68Q32 68T05 68Q45 PDFBibTeX XMLCite \textit{L. Meyer}, Lect. Notes Comput. Sci. 1501, 306--320 (1998; Zbl 0929.03048)
Thimbleby, Harold; Anderson, Stuart; Cairns, Paul A framework for modelling trojans and computer virus infection. (English) Zbl 0929.68017 Comput. J. 41, No. 7, 444-458 (1998). MSC: 68N01 68N99 PDFBibTeX XMLCite \textit{H. Thimbleby} et al., Comput. J. 41, No. 7, 444--458 (1998; Zbl 0929.68017) Full Text: DOI Link
Hierons, R. M. Adaptive testing of a deterministic implementation against a nondeterministic finite state machine. (English) Zbl 0921.68032 Comput. J. 41, No. 5, 349-355 (1998). MSC: 68Q05 PDFBibTeX XMLCite \textit{R. M. Hierons}, Comput. J. 41, No. 5, 349--355 (1998; Zbl 0921.68032) Full Text: DOI Link
Ganova, R. V. Oracle programming in a higher level language. (English) Zbl 0915.68053 Sib. Adv. Math. 8, No. 2, 49-69 (1998). MSC: 68Q05 68N99 03D99 PDFBibTeX XMLCite \textit{R. V. Ganova}, Sib. Adv. Math. 8, No. 2, 49--69 (1998; Zbl 0915.68053)
Curien, Pierre-Louis Abstract Böhm trees. (English) Zbl 0923.03021 Math. Struct. Comput. Sci. 8, No. 6, 559-591 (1998). MSC: 03B40 03F05 68Q05 PDFBibTeX XMLCite \textit{P.-L. Curien}, Math. Struct. Comput. Sci. 8, No. 6, 559--591 (1998; Zbl 0923.03021) Full Text: DOI
Shapiro, Stewart Incompleteness, mechanism, and optimism. (English) Zbl 0921.03005 Bull. Symb. Log. 4, No. 3, 273-302 (1998). Reviewer: A.A.Mullin (Huntsville) MSC: 03A05 68T01 03F30 03D10 PDFBibTeX XMLCite \textit{S. Shapiro}, Bull. Symb. Log. 4, No. 3, 273--302 (1998; Zbl 0921.03005) Full Text: DOI Link
Kristiansen, Lars Turing’s theorem and the myth of a thesis. (Norwegian. English summary) Zbl 0913.03045 Normat 46, No. 2, 76-87 (1998). MSC: 03D10 PDFBibTeX XMLCite \textit{L. Kristiansen}, Normat 46, No. 2, 76--87 (1998; Zbl 0913.03045)
Pezzoli, Elena On the computational complexity of type 2 functionals. (English) Zbl 0910.03027 Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 373-388 (1998). MSC: 03D65 03D15 03D10 PDFBibTeX XMLCite \textit{E. Pezzoli}, Lect. Notes Comput. Sci. 1414, 373--388 (1998; Zbl 0910.03027)
Backofen, Rolf; Clote, Peter Evolution as a computational engine. (English) Zbl 0914.03046 Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 35-55 (1998). Reviewer: U.Schöning (Ulm) MSC: 03D03 03D10 92D15 68Q05 03D35 68Q15 PDFBibTeX XMLCite \textit{R. Backofen} and \textit{P. Clote}, Lect. Notes Comput. Sci. 1414, 35--55 (1998; Zbl 0914.03046)
Wiedermann, Jiří Speeding-up nondeterministic single-tape off-line computations by one alternation (extended abstract). (English) Zbl 0912.03022 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 607-615 (1998). MSC: 03D15 68Q15 03D10 PDFBibTeX XMLCite \textit{J. Wiedermann}, Lect. Notes Comput. Sci. 1450, 607--615 (1998; Zbl 0912.03022)
Iwama, Kazuo; Iwamoto, Chuzo Improved time and space hierarchies of one-tape off-line TMs. (English) Zbl 0920.03049 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 580-588 (1998). Reviewer: Tao Renji (Beijing) MSC: 03D10 03D15 68Q05 68Q15 PDFBibTeX XMLCite \textit{K. Iwama} and \textit{C. Iwamoto}, Lect. Notes Comput. Sci. 1450, 580--588 (1998; Zbl 0920.03049)
Chinchilla, Eugenio A model theoretic proof of a subexponential time witnessing theorem. (English. Abridged French version) Zbl 0910.03042 C. R. Acad. Sci., Paris, Sér. I, Math. 326, No. 8, 913-917 (1998). MSC: 03H15 03D15 03D10 03F30 PDFBibTeX XMLCite \textit{E. Chinchilla}, C. R. Acad. Sci., Paris, Sér. I, Math. 326, No. 8, 913--917 (1998; Zbl 0910.03042) Full Text: DOI
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V. Reflective relational machines. (English) Zbl 0918.68017 Inf. Comput. 143, No. 2, 110-136 (1998). Reviewer: H.-D.Gerhardt (Rostock) MSC: 68P15 68Q05 PDFBibTeX XMLCite \textit{S. Abiteboul} et al., Inf. Comput. 143, No. 2, 110--136 (1998; Zbl 0918.68017) Full Text: DOI
Reischuk, Karl Rüdiger Complexity theory. Vol. 1: Foundations. Machine models, time and place complexity, nondeterminism. 2., völlig neubearb. u. erw. Aufl. (Komplexitätstheorie. Band I: Grundlagen. Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus.) (German) Zbl 0914.68077 Leitfäden der Informatik. Stuttgart: Teubner. xvii, 353 S. (1998). Reviewer: Jozsef Tankó (Budapest) MSC: 68Q15 68Q25 03D15 68-01 68Q10 68Q05 PDFBibTeX XMLCite \textit{K. R. Reischuk}, Komplexitätstheorie. Band I: Grundlagen. Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus. 2., völlig neubearb. u. erw. Aufl. Stuttgart: Teubner (1998; Zbl 0914.68077)
Vardi, Moshe Y. Computational model theory: An overview. (English) Zbl 0909.03031 Log. J. IGPL 6, No. 4, 601-623 (1998). Reviewer: G.L.McColm (Tampa) MSC: 03C13 03D10 03D15 03-02 03C75 68P15 PDFBibTeX XMLCite \textit{M. Y. Vardi}, Log. J. IGPL 6, No. 4, 601--623 (1998; Zbl 0909.03031) Full Text: DOI Link
Zhong, Ning Recursively enumerable subsets of \(\mathbb{R}^{q}\) in two computing models Blum-Shub-Smale machine and Turing machine. (English) Zbl 0902.68063 Theor. Comput. Sci. 197, No. 1-2, 79-94 (1998). MSC: 68Q05 PDFBibTeX XMLCite \textit{N. Zhong}, Theor. Comput. Sci. 197, No. 1--2, 79--94 (1998; Zbl 0902.68063) Full Text: DOI
Gemis, M.; Paredaens, J.; Peelman, P.; Van den Bussche, J. Expressiveness and complexity of generic graph machines. (English) Zbl 0896.68054 Theory Comput. Syst. 31, No. 3, 231-249 (1998). MSC: 68Q05 PDFBibTeX XMLCite \textit{M. Gemis} et al., Theory Comput. Syst. 31, No. 3, 231--249 (1998; Zbl 0896.68054) Full Text: DOI Link
Cai, Liming; Chen, Jianer; Håstad, Johan Circuit bottom fan-in and computational power. (English) Zbl 0907.68077 SIAM J. Comput. 27, No. 2, 341-355 (1998). MSC: 68Q05 68Q15 68Q25 68Q30 68Q10 PDFBibTeX XMLCite \textit{L. Cai} et al., SIAM J. Comput. 27, No. 2, 341--355 (1998; Zbl 0907.68077) Full Text: DOI
Cronauer, K.; Hertrampf, U.; Vollmer, H.; Wagner, K. W. The chain method to separate counting classes. (English) Zbl 0893.68070 Theory Comput. Syst. 31, No. 1, 93-108 (1998). MSC: 68Q15 68Q05 PDFBibTeX XMLCite \textit{K. Cronauer} et al., Theory Comput. Syst. 31, No. 1, 93--108 (1998; Zbl 0893.68070) Full Text: DOI
Li, Liwu Java: Data structures and programming. Incl. 1 CD-ROM. (English) Zbl 0901.68025 Berlin: Springer. xvi, 486 p. (1998). Reviewer: N.Curteanu (Iaşi) MSC: 68N15 68-01 68P05 68Q05 68N20 PDFBibTeX XMLCite \textit{L. Li}, Java: Data structures and programming. Incl. 1 CD-ROM. Berlin: Springer (1998; Zbl 0901.68025)
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge Recursively enumerable reals and Chaitin \(\Omega\) numbers. (English) Zbl 0894.68081 Morvan, Michel (ed.) et al., STACS 98. 15th annual symposium on Theoretical aspects of computer science. Paris, France, February 25–27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1373, 596-606 (1998). MSC: 68Q30 PDFBibTeX XMLCite \textit{C. S. Calude} et al., Lect. Notes Comput. Sci. 1373, 596--606 (1998; Zbl 0894.68081)