×

Found 32 Documents (Results 1–32)

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

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

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).
MSC:  03A05 00A30 03E35
PDFBibTeX XMLCite

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

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

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).
MSC:  03D10 03D15 68Q05 68Q15
PDFBibTeX XMLCite

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).
MSC:  68Q15 68Q25 03D15 68-01 68Q10 68Q05
PDFBibTeX XMLCite

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

Filter Results by …

Document Type

all top 3

Main Field

Software