Refine
Has Fulltext
- yes (6)
Is part of the Bibliography
- yes (6) (remove)
Year of publication
- 1998 (6) (remove)
Document Type
Keywords
- Würzburg (3)
- Universität (2)
- Zeitschrift (2)
- Annual Report (1)
- Bauelement (1)
- Bericht (1)
- Biomaterial (1)
- Djebar, Assia (1)
- FORBIOMAT (1)
- FOROPTO (1)
Institute
Schriftenreihe
Operators of Higher Order
(1998)
Motivated by results on interactive proof systems we investigate the computational power of quantifiers applied to well-known complexity classes.
In special, we are interested in existential, universal and probabilistic bounded error quantifiers ranging over words and sets of words, i.e. oracles if we think in a Turing machine model.
In addition to the standard oracle access mechanism, we also consider quantifiers ranging over oracles to which access is restricted in a certain way.
No abstract available.
No abstract available.
Inhaltsübersicht zum Schwerpunktthema: - SFB 465: Entwicklung und Manipulation pluripotenter Zellen - Die ultimative Stammzelle: die embryonale Stammzelle - Zellvermehrung versus Zellspezialisierung - Zytokine und die Differenzierung von Gliazellen - Wie entsteht die Niere? - Entwicklung und Aktivierung von B-Zellen - Differenzierung von T-Lymphozyten und des Herzens - Auf den Spuren von Vav - Ein neuer Weg der Immunstimulation u.a.
Jahresbericht 1997
(1998)