Titlebook: STACS 2001; 18th Annual Symposiu Afonso Ferreira,Horst Reichel Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 2001 Automat.a

EXUDE

Condescending

狂怒

暴露他抗议

Chagrin

Randomness, Computability, and Densityr a long-standing question in this area of investigation by establishing the density of the Solovay degrees. We also provide a new characterization of the random c.e. reals in terms of splittings in the Solovay degrees. Specifically, we show that the Solovay degrees of computably enumerable reals ar

说不出

Shin Aida,Rainer Schuler,Tatsuie Tsukiji,Osamu Watanabe

Excitotoxin

Martin GroheThe built environment (all aspects of planning, urban design, and architec­ ture). 4. Economic systems and social activities (including organizational, individu978-3-642-80421-2978-3-642-80419-9Series ISSN 0942-5225

CLOUT

重叠

Affable

2-Nested Simulation Is Not Finitely Equationally Axiomatizabletyft/tyxt format is a congruence format. In the linear time-branching time spectrum of van Glabbeek [.], 2-nested simulation is one of the few equivalences for which no finite equational axiomati- zation is presented. In this paper we prove that such an axiomatization does not exist for 2-nested sim